[][src]Type Definition trait_eval::Seven

type Seven = Succ<Six>;

Constant three (7)