module type S = Number.S with type repr = repr
Number.S
with type repr = repr
include Number.Spec
type repr
val verify : repr -> t
repr -> t