module Numbers: sig .. end
sig
end
Modules about numbers, some of which satisfy Identifiable.S.
Identifiable.S
module Int: sig .. end
module Int8: sig .. end
module Int16: sig .. end
module Float: Identifiable.S with type t = float
with type t = float