Data.Logic.Harrison.Lib

tests

setAny

setAll

tryfind

settryfind

(|=>)

(|->)

fpf

defined

apply

exists

tryApplyD

allpairs

distrib'

image

optimize

minimize

maximize

optimize'

minimize'

maximize'

can

allsets

allsubsets

allnonemptysubsets

mapfilter

setmapfilter

(∅)