[][src]Type Definition trait_eval::Four

type Four = Succ<Three>;

Constant four (4)