package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
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