module Interfaces:sig
..end
module type EQ =sig
..end
module type HASH =sig
..end
module type ORD =sig
..end
module type PRINT =sig
..end
module type PRINT1 =sig
..end
module type PRINT2 =sig
..end
module type PRINT3 =sig
..end
module type PRINT_OVERLOAD =sig
..end
module type PRINT_DE_BRUIJN =sig
..end
module type ITER =sig
..end
module type MONOID =sig
..end
module type GROUP =sig
..end