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