Revision 45f0f48d src/lustreSpec.ml
src/lustreSpec.ml | ||
---|---|---|
46 | 46 |
and clock_dec_desc = |
47 | 47 |
| Ckdec_any |
48 | 48 |
| Ckdec_bool of (ident * ident) list |
49 |
| Ckdec_pclock of int * rat |
|
49 |
|
|
50 | 50 |
|
51 | 51 |
type constant = |
52 | 52 |
| Const_int of int |
... | ... | |
241 | 241 |
| MLocalAssign of var_decl * value_t |
242 | 242 |
| MStateAssign of var_decl * value_t |
243 | 243 |
| MReset of ident |
244 |
| MNoReset of ident |
|
244 | 245 |
| MStep of var_decl list * ident * value_t list |
245 | 246 |
| MBranch of value_t * (label * instr_t list) list |
246 | 247 |
| MComment of string |
Also available in: Unified diff