Module Extended_int63

Extensions to Core.Core_int63

include Number.Verified_std with type repr = Core.Std.Int63.t

type repr = Core.Std.Int63.t

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 (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 (Spec : Bounded_spec) : Bounded with type t = repr