Project

General

Profile

Revision 15003796 src/corelang.mli

View differences:

src/corelang.mli
122 122

  
123 123
(** rename_prog f_node f_var f_const prog *)
124 124
val rename_prog: (ident -> ident) -> (ident -> ident) -> (ident -> ident) -> program -> program
125
val substitute_expr: var_decl list -> eq list -> expr -> expr
125
val substitute_expr: ?open_pre:bool -> ident list -> eq list -> expr -> expr
126 126

  
127 127
val copy_var_decl: var_decl -> var_decl
128 128
val copy_const: const_desc -> const_desc

Also available in: Unified diff