Module JP_unif.S

val apply : subst -> T.t Scoped.t -> T.t