Project

General

Profile

Revision a1daa793 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
132 132
  behaviors: (string * eexpr list * eexpr list * Location.t) list;
133 133
  spec_loc: Location.t;
134 134
}
135

  
136
type offset =
137
| Index of Dimension.dim_expr
138
| Field of label
139

  
135 140
type assert_t = 
136 141
    {
137 142
      assert_expr: expr;

Also available in: Unified diff