Module Subst.PPreserving (.ml)


module PPreserving: T_Preserving 
recompute = false; p_preserving = true

val set : Subst.subst -> Subst.var -> Subst.term -> Subst.subst
val set' : Subst.subst -> Var.var -> int -> Term.term -> int -> Subst.subst