enum.print_at_most (issue #425)
factored enum.{print,print_at_most} into a common function
Merge pull request #472 from c-cube/enum-printatmost

enum.print_at_most (issue #425)