[][src]Type Definition trait_eval::Nine

type Nine = Succ<Eight>;

Constant three (9)