Type Definition typenum::consts::N716 [] [src]

type N716 = NInt<U716>;