module Parent:sig
..end
typet =
Proof.parent
val from : Proof.proof -> t
val from_subst : Proof.proof Logtk.Scoped.t -> Logtk.Subst.t -> t
val add_subst : t Logtk.Scoped.t -> Logtk.Subst.t -> t
val proof : t -> Proof.proof
val subst : t -> Logtk.Subst.t list