Project

General

Profile

Revision df94cd73 src/lustre_types.ml

View differences:

src/lustre_types.ml
127 127
  annot_loc: Location.t}
128 128

  
129 129
type contract_mode =
130
  { mode_id: ident; require: eexpr list; ensure: eexpr list; mode_loc: Location.t}
130
  {
131
    mode_id: ident;
132
    require: eexpr list;
133
    ensure: eexpr list;
134
    mode_loc: Location.t
135
  }
131 136

  
132 137
type contract_import =
133 138
  { import_nodeid: ident;

Also available in: Unified diff