package dolmen_type

  1. Overview
  2. Docs

Module Dolmen_typeSource

Sourcemodule Arith : sig ... end
Sourcemodule Arrays : sig ... end
Sourcemodule Base : sig ... end
Sourcemodule Bitv : sig ... end
Sourcemodule Core : sig ... end
Sourcemodule Def : sig ... end

Definitions

Sourcemodule Float : sig ... end
Sourcemodule Intf : sig ... end

External Typechecker interface

Sourcemodule Logic : sig ... end
Sourcemodule Misc : sig ... end

Misc

Sourcemodule Strings : sig ... end
Sourcemodule Tff : sig ... end

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

Sourcemodule Tff_intf : sig ... end

External Typechecker interface for TFF

Sourcemodule Thf : sig ... end

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

Sourcemodule Thf_intf : sig ... end

External Typechecker interface for THF

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct