Revision 59020713
Added by Pierre-Loïc Garoche almost 6 years ago
| src/lustre_types.ml | ||
|---|---|---|
| 118 | 118 |
eexpr_quantifiers: (quantifier_type * var_decl list) list; |
| 119 | 119 |
mutable eexpr_type: Types.type_expr; |
| 120 | 120 |
mutable eexpr_clock: Clocks.clock_expr; |
| 121 |
mutable eexpr_normalized: (var_decl * eq list * var_decl list) option;
|
|
| 121 |
(* mutable eexpr_normalized: (var_decl * eq list * var_decl list) option; *)
|
|
| 122 | 122 |
eexpr_loc: Location.t} |
| 123 | 123 |
|
| 124 | 124 |
and expr_annot = |
Also available in: Unified diff
Some progress on EMF bqckend. Refactoring machines code