[][src]Type Definition trait_eval::Six

type Six = Succ<Five>;

Constant three (6)