[][src]Type Definition typenum::N788

type N788 = NInt<U788>;