Project

General

Profile

Revision ca88e660 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
240 240
  | MLocalAssign of var_decl * value_t
241 241
  | MStateAssign of var_decl * value_t
242 242
  | MReset of ident
243
  | MNoReset of ident (* used to symmetrize the reset function *)
243 244
  | MStep of var_decl list * ident * value_t list
244 245
  | MBranch of value_t * (label * instr_t list) list
245 246
  | MComment of string

Also available in: Unified diff