Functor Number.Make_verified

module Make_verified (Spec : Verified_spec) : S 
    with type repr = Spec.t 
    with type t = private Spec.t

Functor for making constrained numbers from specifications. This functor enforces the invariant through a private type.

Parameters:

Spec : Verified_spec

include Number.Spec

type repr

val verify : repr -> t