Type.ANat

data ANat n

anatVal

type A0

type A1

type A2

type A3

type A4

type A5

type A6

type A7

type A8

type A9