Project

General

Profile

Revision 0d54d8a8 src/lustre_types.ml

View differences:

src/lustre_types.ml
148 148
       spec_loc: Location.t;
149 149
}
150 150

  
151

  
151 152
type offset =
152 153
| Index of Dimension.dim_expr
153 154
| Field of label
......
214 215
     mutable const_type: Types.type_expr;
215 216
    }
216 217

  
218
  
217 219
type top_decl_desc =
218 220
| Node of node_desc
219 221
| Const of const_desc
......
221 223
| Open of bool * string (* the boolean set to true denotes a local
222 224
			   lusi vs a lusi installed at system level *)
223 225
| TypeDef of typedef_desc
224
| Contract of contract_desc
225 226
    
226 227
type top_decl =
227 228
    {top_decl_desc: top_decl_desc;      (* description of the symbol *)

Also available in: Unified diff