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