Control.Search

Searching

search

sat

ctrex

searchRaw

usearch

Testing properties

test

testTime

Options for parallel conjunction

data Options

sat'

search'

ctrex'

searchRaw'

test'

testTime'

Deep embedded boolean type

(&&&)

(|||)

(==>)

nott

true

false

data Cool

class Coolean b

Re-exported