[][src]Type Definition trait_eval::Seven

type Seven = Succ<Six>;

Constant seven (7)