[][src]Type Definition trait_eval::Five

type Five = Succ<Four>;

Constant three (5)