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