Type Definition typenum::U1[][src]

type U1 = UInt<UTerm, B1>;