Data.Logic.ATP.Pretty

(<>)

class Pretty a

data Associativity

type Precedence

class HasFixity x

data Side

testParen

assertEqual'

testEquals

leafPrec

boolPrec

notPrec

atomPrec

andPrec

orPrec

impPrec

iffPrec

quantPrec

eqPrec

pAppPrec