Type Definition typenum::P537[][src]

type P537 = PInt<U537>;