Type Definition typenum::P252[][src]

type P252 = PInt<U252>;