package logtk

  1. Overview
  2. Docs
On This Page
  1. Interfaces
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

Interfaces

module type EQ = sig ... end
module type HASH = sig ... end
module type ORD = sig ... end
module type PRINT = sig ... end

Print a type t

module type PRINT1 = sig ... end
module type PRINT2 = sig ... end
module type PRINT3 = sig ... end
module type PRINT_OVERLOAD = sig ... end

Register printers by name

module type PRINT_DE_BRUIJN = sig ... end
module type ITER = sig ... end
module type MONOID = sig ... end
module type GROUP = sig ... end
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