HyLo.Formula

data Formula n p r

data Where r

data CountOp

negCount

nnf

composeFold

composeFoldM

composeMap

composeMapM

onShape

mapSig

freeVars

boundVars

compareWith

cmpListLen