Project

General

Profile

Revision 4f26dcf5 src/machine_code_types.ml

View differences:

src/machine_code_types.ml
51 51
  mstatic: var_decl list; (* static inputs only *)
52 52
  mconst: instr_t list; (* assignments of node constant locals *)
53 53
  mstep: step_t;
54
  mspec: node_annot option;
54
  mspec: contract_desc option;
55 55
  mannot: expr_annot list;
56 56
}

Also available in: Unified diff