Module Logtk.Interfaces (.ml)

module Interfaces: 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