[−][src]Type Definition typenum::N401

type N401 = NInt<U401>;