kernel/sosub.mli


1
2
3
4
5
6
7
8
9
10
11
12


(* $Id$ *)

(*i*)
open Term
(*i*)

(* Second-order substitutions. *)

val soexecute : constr -> constr
val try_soexecute : constr -> constr