Module Make_verified_unsafe (Spec : Verified_spec) : S with type repr = Spec.t with type t = Spec.t

Same as Make_verified, but does not enforce invariants. Useful for extending verified numbers with more features before "sealing" the type with a private declaration.