module Make_verified: functor (
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.
include Number.Spec
type
repr
val verify : repr -> t