package dolmen_type

  1. Overview
  2. Docs

Module Dolmen_type.Thf_intfSource

External Typechecker interface for THF

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

Typechecker interface

Sourcemodule type S = sig ... end

Typechecker interface