Module Number.Verified_std.Neg

module Neg: S  with type t = private repr

include Number.Spec

type repr 

val verify : repr -> t