Project

General

Profile

Revision 29ced7be src/corelang.mli

View differences:

src/corelang.mli
108 108
val get_dependencies : program -> top_decl list
109 109
(* val prog_unfold_consts: program -> program *)
110 110

  
111
val get_expr_vars: Utils.ISet.t -> expr -> Utils.ISet.t
111 112
val expr_replace_var: (ident -> ident) -> expr -> expr
112 113
val eq_replace_rhs_var: (ident -> bool) -> (ident -> ident) -> eq -> eq
113 114

  

Also available in: Unified diff