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.