dimensioned::peano::Six [] [src]

type Six = Succ<Five>;