Module type Number.Verified_std_spec

module type Verified_std_spec = sig .. end

Specification used for standard numbers (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