Module Number.Verified_std.Neg_unsafe

module Neg_unsafe: S  with type t = repr

include Number.Spec

type repr 

val verify : repr -> t