Project

General

Profile

Revision 3b2bd83d src/corelang.mli

View differences:

src/corelang.mli
29 29
val mkpredef_call: Location.t -> ident -> expr list -> expr
30 30
val mk_new_name: (ident -> bool) -> ident -> ident
31 31
val mk_new_node_name: node_desc -> ident -> ident
32
val mktop: top_decl_desc -> top_decl
33

  
32 34

  
33 35
val node_table : (ident, top_decl) Hashtbl.t
34 36
val print_node_table:  Format.formatter -> unit -> unit
......
134 136
val mkeexpr: Location.t ->  expr -> eexpr
135 137
val merge_node_annot: node_annot -> node_annot -> node_annot 
136 138
val extend_eexpr: (quantifier_type * var_decl list) list -> eexpr -> eexpr
137
val update_expr_annot: ident -> expr -> LustreSpec.expr_annot -> expr
139
val update_expr_annot: ident -> expr -> expr_annot -> expr
138 140
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
139 141

  
140 142
(* Local Variables: *)

Also available in: Unified diff