Project

General

Profile

Revision 45f0f48d src/lustreSpec.ml

View differences:

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