package logtk

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

Module Logtk.InterfacesSource

Interfaces

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

Print a type t

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

Register printers by name

Sourcemodule type PRINT_DE_BRUIJN = sig ... end
Sourcemodule type ITER = sig ... end
Sourcemodule type MONOID = sig ... end
Sourcemodule type GROUP = sig ... end