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