| U0 | Type.Data.Num.Unary.Literal |
| u0 | Type.Data.Num.Unary.Literal |
| U1 | Type.Data.Num.Unary.Literal |
| u1 | Type.Data.Num.Unary.Literal |
| U10 | Type.Data.Num.Unary.Literal |
| u10 | Type.Data.Num.Unary.Literal |
| U11 | Type.Data.Num.Unary.Literal |
| u11 | Type.Data.Num.Unary.Literal |
| U12 | Type.Data.Num.Unary.Literal |
| u12 | Type.Data.Num.Unary.Literal |
| U13 | Type.Data.Num.Unary.Literal |
| u13 | Type.Data.Num.Unary.Literal |
| U14 | Type.Data.Num.Unary.Literal |
| u14 | Type.Data.Num.Unary.Literal |
| U15 | Type.Data.Num.Unary.Literal |
| u15 | Type.Data.Num.Unary.Literal |
| U16 | Type.Data.Num.Unary.Literal |
| u16 | Type.Data.Num.Unary.Literal |
| U17 | Type.Data.Num.Unary.Literal |
| u17 | Type.Data.Num.Unary.Literal |
| U18 | Type.Data.Num.Unary.Literal |
| u18 | Type.Data.Num.Unary.Literal |
| U19 | Type.Data.Num.Unary.Literal |
| u19 | Type.Data.Num.Unary.Literal |
| U2 | Type.Data.Num.Unary.Literal |
| u2 | Type.Data.Num.Unary.Literal |
| U20 | Type.Data.Num.Unary.Literal |
| u20 | Type.Data.Num.Unary.Literal |
| U21 | Type.Data.Num.Unary.Literal |
| u21 | Type.Data.Num.Unary.Literal |
| U22 | Type.Data.Num.Unary.Literal |
| u22 | Type.Data.Num.Unary.Literal |
| U23 | Type.Data.Num.Unary.Literal |
| u23 | Type.Data.Num.Unary.Literal |
| U24 | Type.Data.Num.Unary.Literal |
| u24 | Type.Data.Num.Unary.Literal |
| U25 | Type.Data.Num.Unary.Literal |
| u25 | Type.Data.Num.Unary.Literal |
| U26 | Type.Data.Num.Unary.Literal |
| u26 | Type.Data.Num.Unary.Literal |
| U27 | Type.Data.Num.Unary.Literal |
| u27 | Type.Data.Num.Unary.Literal |
| U28 | Type.Data.Num.Unary.Literal |
| u28 | Type.Data.Num.Unary.Literal |
| U29 | Type.Data.Num.Unary.Literal |
| u29 | Type.Data.Num.Unary.Literal |
| U3 | Type.Data.Num.Unary.Literal |
| u3 | Type.Data.Num.Unary.Literal |
| U30 | Type.Data.Num.Unary.Literal |
| u30 | Type.Data.Num.Unary.Literal |
| U31 | Type.Data.Num.Unary.Literal |
| u31 | Type.Data.Num.Unary.Literal |
| U32 | Type.Data.Num.Unary.Literal |
| u32 | Type.Data.Num.Unary.Literal |
| U33 | Type.Data.Num.Unary.Literal |
| u33 | Type.Data.Num.Unary.Literal |
| U34 | Type.Data.Num.Unary.Literal |
| u34 | Type.Data.Num.Unary.Literal |
| U35 | Type.Data.Num.Unary.Literal |
| u35 | Type.Data.Num.Unary.Literal |
| U36 | Type.Data.Num.Unary.Literal |
| u36 | Type.Data.Num.Unary.Literal |
| U37 | Type.Data.Num.Unary.Literal |
| u37 | Type.Data.Num.Unary.Literal |
| U38 | Type.Data.Num.Unary.Literal |
| u38 | Type.Data.Num.Unary.Literal |
| U39 | Type.Data.Num.Unary.Literal |
| u39 | Type.Data.Num.Unary.Literal |
| U4 | Type.Data.Num.Unary.Literal |
| u4 | Type.Data.Num.Unary.Literal |
| U40 | Type.Data.Num.Unary.Literal |
| u40 | Type.Data.Num.Unary.Literal |
| U41 | Type.Data.Num.Unary.Literal |
| u41 | Type.Data.Num.Unary.Literal |
| U42 | Type.Data.Num.Unary.Literal |
| u42 | Type.Data.Num.Unary.Literal |
| U43 | Type.Data.Num.Unary.Literal |
| u43 | Type.Data.Num.Unary.Literal |
| U44 | Type.Data.Num.Unary.Literal |
| u44 | Type.Data.Num.Unary.Literal |
| U45 | Type.Data.Num.Unary.Literal |
| u45 | Type.Data.Num.Unary.Literal |
| U46 | Type.Data.Num.Unary.Literal |
| u46 | Type.Data.Num.Unary.Literal |
| U47 | Type.Data.Num.Unary.Literal |
| u47 | Type.Data.Num.Unary.Literal |
| U48 | Type.Data.Num.Unary.Literal |
| u48 | Type.Data.Num.Unary.Literal |
| U49 | Type.Data.Num.Unary.Literal |
| u49 | Type.Data.Num.Unary.Literal |
| U5 | Type.Data.Num.Unary.Literal |
| u5 | Type.Data.Num.Unary.Literal |
| U50 | Type.Data.Num.Unary.Literal |
| u50 | Type.Data.Num.Unary.Literal |
| U51 | Type.Data.Num.Unary.Literal |
| u51 | Type.Data.Num.Unary.Literal |
| U52 | Type.Data.Num.Unary.Literal |
| u52 | Type.Data.Num.Unary.Literal |
| U53 | Type.Data.Num.Unary.Literal |
| u53 | Type.Data.Num.Unary.Literal |
| U54 | Type.Data.Num.Unary.Literal |
| u54 | Type.Data.Num.Unary.Literal |
| U55 | Type.Data.Num.Unary.Literal |
| u55 | Type.Data.Num.Unary.Literal |
| U56 | Type.Data.Num.Unary.Literal |
| u56 | Type.Data.Num.Unary.Literal |
| U57 | Type.Data.Num.Unary.Literal |
| u57 | Type.Data.Num.Unary.Literal |
| U58 | Type.Data.Num.Unary.Literal |
| u58 | Type.Data.Num.Unary.Literal |
| U59 | Type.Data.Num.Unary.Literal |
| u59 | Type.Data.Num.Unary.Literal |
| U6 | Type.Data.Num.Unary.Literal |
| u6 | Type.Data.Num.Unary.Literal |
| U60 | Type.Data.Num.Unary.Literal |
| u60 | Type.Data.Num.Unary.Literal |
| U61 | Type.Data.Num.Unary.Literal |
| u61 | Type.Data.Num.Unary.Literal |
| U62 | Type.Data.Num.Unary.Literal |
| u62 | Type.Data.Num.Unary.Literal |
| U63 | Type.Data.Num.Unary.Literal |
| u63 | Type.Data.Num.Unary.Literal |
| U64 | Type.Data.Num.Unary.Literal |
| u64 | Type.Data.Num.Unary.Literal |
| U7 | Type.Data.Num.Unary.Literal |
| u7 | Type.Data.Num.Unary.Literal |
| U8 | Type.Data.Num.Unary.Literal |
| u8 | Type.Data.Num.Unary.Literal |
| U9 | Type.Data.Num.Unary.Literal |
| u9 | Type.Data.Num.Unary.Literal |
| Un | Type.Data.Num.Unary |
| Unary | Type.Data.Num.Unary |
| unary | Type.Data.Num.Unary |
| UnaryAcc | Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal |
| UnaryNat | |
| 1 (Type/Class) | Type.Data.Num.Decimal.Digit.Proof |
| 2 (Data Constructor) | Type.Data.Num.Decimal.Digit.Proof |
| 3 (Type/Class) | Type.Data.Num.Decimal.Proof |
| 4 (Data Constructor) | Type.Data.Num.Decimal.Proof |
| unaryNat | |
| 1 (Function) | Type.Data.Num.Decimal.Digit.Proof |
| 2 (Function) | Type.Data.Num.Decimal.Proof |
| unaryNatImpl | Type.Data.Num.Decimal.Digit.Proof |
| UnaryPos | |
| 1 (Type/Class) | Type.Data.Num.Decimal.Digit.Proof |
| 2 (Data Constructor) | Type.Data.Num.Decimal.Digit.Proof |
| 3 (Type/Class) | Type.Data.Num.Decimal.Proof |
| 4 (Data Constructor) | Type.Data.Num.Decimal.Proof |
| unaryPos | |
| 1 (Function) | Type.Data.Num.Decimal.Digit.Proof |
| 2 (Function) | Type.Data.Num.Decimal.Proof |
| unaryPosImpl | Type.Data.Num.Decimal.Digit.Proof |