Previous
Up
Next
Module
Number.Verified_std.Neg0_unsafe
module
Neg0_unsafe:
S0
with type t = repr
include
Number.S
val
zero
:
t