Project

General

Profile

Revision aa223e69 src/corelang.ml

View differences:

src/corelang.ml
39 39
  | Const_float of float
40 40
  | Const_array of constant list
41 41
  | Const_tag of label
42
  | Const_struct of (label * constant) list
42 43

  
43 44
type type_dec = LustreSpec.type_dec
44 45

  

Also available in: Unified diff