[][src]Type Definition trait_eval::Three

type Three = Succ<Two>;

Constant three (3)