Project

General

Profile

Revision 1bff14ac src/lustreSpec.ml

View differences:

src/lustreSpec.ml
237 237

  
238 238
type instr_t =
239 239
  {
240
    instr_desc: instr_t_desc;
240
    instr_desc: instr_t_desc; (* main data: the content *)
241
    (* lustre_expr: expr option; (* possible representation as a lustre expression *) *)
242
    lustre_eq: eq option;     (* possible representation as a lustre flow equation *)
241 243
  }
242 244
and instr_t_desc =
243 245
  | MLocalAssign of var_decl * value_t

Also available in: Unified diff