Project

General

Profile

Revision 566dbf49 src/corelang.mli

View differences:

src/corelang.mli
116 116
(** rename_prog f_node f_var f_const prog *)
117 117
val rename_prog: (ident -> ident) -> (ident -> ident) -> (ident -> ident) -> program -> program
118 118

  
119
val update_expr_annot: expr -> LustreSpec.expr_annot -> expr
120 119

  
121 120
val substitute_expr: var_decl list -> eq list -> expr -> expr
122 121

  
......
124 123
val mkeexpr: Location.t ->  expr -> eexpr
125 124
val merge_node_annot: node_annot -> node_annot -> node_annot 
126 125
val extend_eexpr: (quantifier_type * var_decl list) list -> eexpr -> eexpr
127
val update_expr_annot: expr -> expr_annot -> expr
126
val update_expr_annot: ident -> expr -> LustreSpec.expr_annot -> expr
128 127
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
129 128

  
130 129
(* Local Variables: *)

Also available in: Unified diff