[][src]Type Definition trait_eval::Six

type Six = Succ<Five>;

Constant six (6)