[][src]Type Definition typenum::P393

type P393 = PInt<U393>;