Module `Proof.Parent`

type t = parent

val from : proof -> t
val from_subst_proj : proof -> Subst.Projection.t -> t
val from_subst : Subst.Renaming.t -> proof Scoped.t -> Subst.t -> t
val proof : t -> proof
val subst : t -> Subst.Projection.t option