module Pos0: S0 with type t = private repr
S0
with type t = private repr
include Number.S
val zero : t
t