Revision 6394042a src/corelang.mli
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