Data.SBV.Examples.Queries.FourFours
data BinOp
data UnOp
type SBinOp
type SUnOp
data T b u
allPossibleTrees
fill
sCase
eval
generate
find
puzzle