[][src]Type Definition trait_eval::Four

type Four = Succ<Three>;

Constant three (4)