package dolmen_type

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

External Typechecker interface for THF

This module defines the external typechcker interface, that is, the interface of an instantiated typechecker.

Typechecker interface

module type S = sig ... end

Typechecker interface