Data.SBV.Examples.Queries.FourFours

data BinOp

data UnOp

type SBinOp

type SUnOp

data T b u

allPossibleTrees

fill

sCase

eval

generate

find

puzzle