[][src]Type Definition typenum::N738

type N738 = NInt<U738>;