logtk

Core types and algorithms for logic
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library logtk
Module Logtk . 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