Project

General

Profile

Revision 6a1a01d2 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
50 50

  
51 51
type var_decl = 
52 52
    {var_id: ident;
53
     var_orig:bool;
53 54
     var_dec_type: type_dec;
54 55
     var_dec_clock: clock_dec;
55 56
     var_dec_const: bool;
......
102 103
  | Expr_merge of ident * (label * expr) list
103 104
  | Expr_appl of call_t
104 105

  
105
and call_t = ident * expr * (ident * label) option 
106
     (* The third part denotes the reseting clock label and value *)
106
and call_t = ident * expr * expr option 
107
     (* The third part denotes the boolean condition for resetting *)
107 108

  
108 109
and eq =
109 110
    {eq_lhs: ident list;

Also available in: Unified diff