module Numbers: sig .. end
Modules about numbers that satisfy Identifiable.S.
module Int: sig .. end
module Float: Identifiable.S  with type t = float
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from 
this page.