Revision 1bff14ac src/lustreSpec.ml
src/lustreSpec.ml | ||
---|---|---|
237 | 237 |
|
238 | 238 |
type instr_t = |
239 | 239 |
{ |
240 |
instr_desc: instr_t_desc; |
|
240 |
instr_desc: instr_t_desc; (* main data: the content *) |
|
241 |
(* lustre_expr: expr option; (* possible representation as a lustre expression *) *) |
|
242 |
lustre_eq: eq option; (* possible representation as a lustre flow equation *) |
|
241 | 243 |
} |
242 | 244 |
and instr_t_desc = |
243 | 245 |
| MLocalAssign of var_decl * value_t |
Also available in: Unified diff