[][src]Type Definition trait_eval::Eight

type Eight = Succ<Seven>;

Constant eight (8)