module Intf: sig .. end
sig
end
module type EQ = sig .. end
module type ORD = sig .. end
module type HASH = sig .. end
module type PRINT = sig .. end