package dolmen_type

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

External Typechecker interface for TFF

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

Typechecker interface

module type S = sig ... end

Typechecker interface