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