module Numbers: sig .. end
sig
end
Identifiable.S
module Int: sig .. end
module Float: Identifiable.S with type t = float
with type t = float