Up – Package index » logtk » Library logtk » Logtk » Proof » Parent

Module `Proof.Parent`Source

Sourcetype t = parent

Sourceval from : proof -> t

Sourceval from_subst_proj : proof -> Subst.Projection.t -> t

Sourceval from_subst : Subst.Renaming.t -> proof Scoped.t -> Subst.t -> t

Sourceval proof : t -> proof

Sourceval subst : t -> Subst.Projection.t option