(* $Id$ *)

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

(* Second-order substitutions. *)

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