Documentation

type U0 = Zero Source

type U1 = Succ U0 Source

type U2 = Succ U1 Source

type U3 = Succ U2 Source

type U4 = Succ U3 Source

type U5 = Succ U4 Source

type U6 = Succ U5 Source

type U7 = Succ U6 Source

type U8 = Succ U7 Source

type U9 = Succ U8 Source

type U10 = Succ U9 Source

type U11 = Succ U10 Source

type U12 = Succ U11 Source

type U13 = Succ U12 Source

type U14 = Succ U13 Source

type U15 = Succ U14 Source

type U16 = Succ U15 Source

type U17 = Succ U16 Source

type U18 = Succ U17 Source

type U19 = Succ U18 Source

type U20 = Succ U19 Source

type U21 = Succ U20 Source

type U22 = Succ U21 Source

type U23 = Succ U22 Source

type U24 = Succ U23 Source

type U25 = Succ U24 Source

type U26 = Succ U25 Source

type U27 = Succ U26 Source

type U28 = Succ U27 Source

type U29 = Succ U28 Source

type U30 = Succ U29 Source

type U31 = Succ U30 Source

type U32 = Succ U31 Source

type U33 = Succ U32 Source

type U34 = Succ U33 Source

type U35 = Succ U34 Source

type U36 = Succ U35 Source

type U37 = Succ U36 Source

type U38 = Succ U37 Source

type U39 = Succ U38 Source

type U40 = Succ U39 Source

type U41 = Succ U40 Source

type U42 = Succ U41 Source

type U43 = Succ U42 Source

type U44 = Succ U43 Source

type U45 = Succ U44 Source

type U46 = Succ U45 Source

type U47 = Succ U46 Source

type U48 = Succ U47 Source

type U49 = Succ U48 Source

type U50 = Succ U49 Source

type U51 = Succ U50 Source

type U52 = Succ U51 Source

type U53 = Succ U52 Source

type U54 = Succ U53 Source

type U55 = Succ U54 Source

type U56 = Succ U55 Source

type U57 = Succ U56 Source

type U58 = Succ U57 Source

type U59 = Succ U58 Source

type U60 = Succ U59 Source

type U61 = Succ U60 Source

type U62 = Succ U61 Source

type U63 = Succ U62 Source

type U64 = Succ U63 Source

u0 :: Proxy U0 Source

u1 :: Proxy U1 Source

u2 :: Proxy U2 Source

u3 :: Proxy U3 Source

u4 :: Proxy U4 Source

u5 :: Proxy U5 Source

u6 :: Proxy U6 Source

u7 :: Proxy U7 Source

u8 :: Proxy U8 Source

u9 :: Proxy U9 Source

u10 :: Proxy U10 Source

u11 :: Proxy U11 Source

u12 :: Proxy U12 Source

u13 :: Proxy U13 Source

u14 :: Proxy U14 Source

u15 :: Proxy U15 Source

u16 :: Proxy U16 Source

u17 :: Proxy U17 Source

u18 :: Proxy U18 Source

u19 :: Proxy U19 Source

u20 :: Proxy U20 Source

u21 :: Proxy U21 Source

u22 :: Proxy U22 Source

u23 :: Proxy U23 Source

u24 :: Proxy U24 Source

u25 :: Proxy U25 Source

u26 :: Proxy U26 Source

u27 :: Proxy U27 Source

u28 :: Proxy U28 Source

u29 :: Proxy U29 Source

u30 :: Proxy U30 Source

u31 :: Proxy U31 Source

u32 :: Proxy U32 Source

u33 :: Proxy U33 Source

u34 :: Proxy U34 Source

u35 :: Proxy U35 Source

u36 :: Proxy U36 Source

u37 :: Proxy U37 Source

u38 :: Proxy U38 Source

u39 :: Proxy U39 Source

u40 :: Proxy U40 Source

u41 :: Proxy U41 Source

u42 :: Proxy U42 Source

u43 :: Proxy U43 Source

u44 :: Proxy U44 Source

u45 :: Proxy U45 Source

u46 :: Proxy U46 Source

u47 :: Proxy U47 Source

u48 :: Proxy U48 Source

u49 :: Proxy U49 Source

u50 :: Proxy U50 Source

u51 :: Proxy U51 Source

u52 :: Proxy U52 Source

u53 :: Proxy U53 Source

u54 :: Proxy U54 Source

u55 :: Proxy U55 Source

u56 :: Proxy U56 Source

u57 :: Proxy U57 Source

u58 :: Proxy U58 Source

u59 :: Proxy U59 Source

u60 :: Proxy U60 Source

u61 :: Proxy U61 Source

u62 :: Proxy U62 Source

u63 :: Proxy U63 Source

u64 :: Proxy U64 Source