mpri-funcprog-project/src/VarVarBind.mli

3 lines
127 B
OCaml
Raw Permalink Normal View History

2018-02-16 02:45:40 +01:00
(** Removes var-var bindings, eg. let x = y in e, where x and y are vars *)
val clean_var_var_bind: Top.program -> Top.program