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

type N772 = NInt<U772>;