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