Project

General

Profile

Revision ad4774b0 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
211 211
     top_decl_itf: bool;                (* header or source file ? *)
212 212
     top_decl_loc: Location.t}          (* the location where it is defined *)
213 213

  
214
type program = top_decl list
214
type program_t = top_decl list
215 215

  
216 216
type dep_t = Dep of
217 217
    bool

Also available in: Unified diff