logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Interfaces

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