Module `Synext.CLF`

module Typ : sig ... end

External contextual LF types.

module Term : sig ... end

External contextual LF terms.

module Substitution : sig ... end

External contextual LF substitutions.

module Context : sig ... end

External contextual LF contexts.