Project

General

Profile

Revision 19a1e66b src/lustre_types.ml

View differences:

src/lustre_types.ml
218 218
| ImportedNode of imported_node_desc
219 219
| Open of bool * string (* the boolean set to true denotes a local
220 220
			   lusi vs a lusi installed at system level *)
221
| Include of string (* the boolean set to true denotes a local
222
			   lus vs a lus installed at system level *)
221 223
| TypeDef of typedef_desc
222 224
    
223 225
type top_decl =

Also available in: Unified diff