Functor Number.Make_verified_unsafe

module Make_verified_unsafe (Spec : Verified_spec) : S 
    with type repr = Spec.t 
    with type t = Spec.t
Same as Number.Make_verified, but does not enforce invariants. Useful for extending verified numbers with more features before "sealing" the type with a private declaration.
Parameters:
Spec : Verified_spec

include Number.Spec
type repr 
val verify : repr -> t