Revision 6a1a01d2 src/lustreSpec.ml
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