Type.Data.Num.Decimal.Proof
data
Digits
xs
data
UnaryNat
n
unaryNat
data
UnaryPos
n
unaryPos