Control.Search

Searching

search

sat

searchRaw

usearch

Testing properties

test

testTime

Options for parallel conjunction

data Options

sat'

search'

searchRaw'

test'

Deep embedded boolean type

data Cool

class Coolean b

(&&&)

(|||)

(==>)

nott

true

false

Re-exported