Module Number.Verified_std.Pos0

module Pos0: S0  with type t = private repr

include Number.S
val zero : t