[][src]Type Definition typenum::P854

type P854 = PInt<U854>;