[][src]Type Definition trait_eval::Ten

type Ten = Succ<Nine>;

Constant three (10)