[][src]Type Definition typenum::N1013

type N1013 = NInt<U1013>;