Project

General

Profile

Revision 6aeb3388 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
32 32
  | Tydec_struct of (ident * type_dec_desc) list
33 33
  | Tydec_array of Dimension.dim_expr * type_dec_desc
34 34

  
35
type type_def =
36
  {
37
    ty_def_id: ident;
38
    ty_def_desc: type_dec_desc}
39

  
35 40
type clock_dec =
36 41
    {ck_dec_desc: clock_dec_desc;
37 42
     ck_dec_loc: Location.t}
......
173 178
| ImportedNode of imported_node_desc
174 179
| Open of bool * string (* the boolean set to true denotes a local 
175 180
			   lusi vs a lusi installed at system level *)
181
| Type of type_def
176 182

  
177 183
type top_decl =
178 184
    {top_decl_desc: top_decl_desc;

Also available in: Unified diff