package logtk

  1. Overview
  2. Docs
On This Page
  1. LogtkInterfaces
Legend:
Library
Module
Module type
Parameter
Class
Class type

LogtkInterfaces

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 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