Module Subst.RPreserving (.ml)

module RPreserving: T_Preserving

recompute = true; p_preserving = false

val set : Subst.subst -> Subst.var -> Subst.term -> Subst.subst

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