[][src]Type Definition typenum::P443

type P443 = PInt<U443>;