Module Bounded.Int32

Bounded int32.

module type BOUNDS = sig ... end

Bounds.

module type S = sig ... end
module Make (_ : BOUNDS) : S

Produce a module _ : S of bounded integers.

module NonNegative : S
val non_negative_of_legacy_non_negative : NonNegative.t -> Mavryk_base.Bounded.Non_negative_int32.t
val legacy_non_negative_of_non_negative : Mavryk_base.Bounded.Non_negative_int32.t -> NonNegative.t