Module Number.Verified_std.Neg0

module Neg0: S0  with type t = private repr

include Number.S

val zero : t