Module Proof.Parent

module Parent: sig .. end

type t = Proof.parent 

val from : Proof.proof -> t

val from_subst : Proof.proof Logtk.Scoped.t -> Logtk.Subst.t -> t

val proof : t -> Proof.proof