Module Number.Verified_std.Pos0_unsafe

module Pos0_unsafe: S0  with type t = repr

include Number.S

val zero : t