[][src]Type Definition trait_eval::Nine

type Nine = Succ<Eight>;

Constant nine (9)