package dolmen_type

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Arith : sig ... end

module Arrays : sig ... end

module Base : sig ... end

module Bitv : sig ... end

module Core : sig ... end

module Def : sig ... end

Definitions

module Float : sig ... end

module Intf : sig ... end

External Typechecker interface

module Logic : sig ... end

module Misc : sig ... end

Misc

module Strings : sig ... end

module Tff : sig ... end

Typechecking of standard terms This module provides functions to typecheck terms from the untyped syntax tree defined in the standard implementation.

module Tff_intf : sig ... end

External Typechecker interface for TFF

module Thf : sig ... end

Typechecking of standard terms This module provides functions to typecheck terms from the untyped syntax tree defined in the standard implementation.

module Thf_intf : sig ... end

External Typechecker interface for THF