# Functor Number.Make_verified_std

    module Make_verified_std: functor (Spec : Verified_std_spec) -> Verified_std  with type repr = Spec.t

Functor for enriching standard numbers (`Int.t`, `Int32.t`, `Int63.t` `Int64.t`, `Nativeint.t`, `Float.t`) with `Pos.t`, `Pos0.t`, `Neg.t`, and `Neg0.t` modules, and the `Make_bounded` and `Make_bounded_unsafe` functors.

Parameters:

`Spec` | : | `Verified_std_spec`

    type repr

    module type S = Number.S  with type repr = repr

Abbreviations

    module type S0 = Number.S0  with type repr = repr

    module Pos: S  with type t = private repr

Positive and negative numbers with and without zero.

    module Pos0: S0  with type t = private repr

    module Neg: S  with type t = private repr

    module Neg0: S0  with type t = private repr

    module type Bounded_spec = sig .. end

Specification of bounded numbers

    module type Bounded = sig .. end

Signature of bounded numbers

    module Make_bounded: functor (Spec : Bounded_spec) -> Bounded  with type t = private repr

Functor of creating bounded numbers
Unsafe modules and functors that still fully expose the representation for extensibility.

    module Pos_unsafe: S  with type t = repr

    module Pos0_unsafe: S0  with type t = repr

    module Neg_unsafe: S  with type t = repr

    module Neg0_unsafe: S0  with type t = repr

    module Make_bounded_unsafe: functor (Spec : Bounded_spec) -> Bounded  with type t = repr