module type Verified_std_spec =sig
..end
Int.t
, Int32.t
, Int63.t
Int64.t
, Nativeint.t
, Float.t
) to enrich them with Pos.t
,
Pos0.t
, Neg.t
, and Neg0.t
modules, and the Make_bounded
and
Make_bounded_unsafe
functors.include Number.Spec
val module_name : string
val zero : t