Project

General

Profile

Revision 6a6abd76 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
33 33
  | Tydec_clock of type_dec_desc
34 34
  | Tydec_const of ident
35 35
  | Tydec_enum of ident list
36
(*  | Tydec_struct of (ident * type_dec_desc) list *)
36
  | Tydec_struct of (ident * type_dec_desc) list
37 37
  | Tydec_array of Dimension.dim_expr * type_dec_desc
38 38

  
39 39
type clock_dec =

Also available in: Unified diff