Project

General

Profile

Revision 58a463e7 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
75 75

  
76 76
type quantifier_type = Exists | Forall
77 77

  
78

  
79

  
80 78
(* The tag of an expression is a unique identifier used to distinguish
81 79
   different instances of the same node *)
82 80
type expr =
......
209 207

  
210 208
type program = top_decl list
211 209

  
210
type dep_t = Dep of 
211
    bool 
212
  * ident
213
  * (top_decl list) 
214
  * bool (* is stateful *)
215

  
212 216
type error =
213 217
    Main_not_found
214 218
  | Main_wrong_kind

Also available in: Unified diff