module Util: sig .. end
sig
end
module type ComparedType = sig .. end
Map
Hashtbl
module Integer: ComparedType with type t = int
ComparedType
with type t = int
module String: sig .. end