Type.Data.Num.Decimal.Digit.Proof

data Nat d

data Pos d

data UnaryNat d

unaryNat

unaryNatImpl

data UnaryPos d

unaryPos

unaryPosImpl