package logtk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Proof.ParentSource

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
OCaml

Innovation. Community. Security.