Project

General

Profile

Revision 5fccce23 src/lustre_types.ml

View differences:

src/lustre_types.ml
228 228

  
229 229
type program_t = top_decl list
230 230

  
231
type dep_t = Dep of
232
    bool
233
  * ident
234
  * (top_decl list)
235
  * bool (* is stateful *)
236

  
231
type dep_t = {
232
    local: bool;
233
    name: ident;
234
    content: program_t;
235
    is_stateful: bool
236
  }
237 237

  
238 238

  
239 239

  

Also available in: Unified diff