Type Definition typenum::P13[][src]

type P13 = PInt<U13>;