Data.SBV.Examples.Puzzles.Counts
type
Count
count
puzzle
counts