Make.Bounded
This module implements bounded (or refined) versions of data types.
module Int32 : sig ... end
Bounded int32.
int32