Project

General

Profile

Revision 3ca27bc7 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
236 236
  | Power of value_t * value_t
237 237

  
238 238
type instr_t =
239
  {
240
    instr_desc: instr_t_desc;
241
  }
242
and instr_t_desc =
239 243
  | MLocalAssign of var_decl * value_t
240 244
  | MStateAssign of var_decl * value_t
241 245
  | MReset of ident

Also available in: Unified diff