Project

General

Profile

Revision 53206908 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
......
122 124

  
123 125
(** rename_prog f_node f_var f_const prog *)
124 126
val rename_prog: (ident -> ident) -> (ident -> ident) -> (ident -> ident) -> program -> program
127

  
125 128
val substitute_expr: var_decl list -> eq list -> expr -> expr
126 129

  
127 130
val copy_var_decl: var_decl -> var_decl
......
134 137
val mkeexpr: Location.t ->  expr -> eexpr
135 138
val merge_node_annot: node_annot -> node_annot -> node_annot 
136 139
val extend_eexpr: (quantifier_type * var_decl list) list -> eexpr -> eexpr
137
val update_expr_annot: ident -> expr -> LustreSpec.expr_annot -> expr
140
val update_expr_annot: ident -> expr -> expr_annot -> expr
138 141
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
139 142

  
140 143
(* Local Variables: *)

Also available in: Unified diff