Tip.Pass.Booleans

theoryBoolOpToIf

formulaBoolOpToIf

hasBoolType

boolOpToIf

ifToBoolOp

data BoolNames a

freshBoolNames

boolGbl

boolExpr

removeBuiltinBoolFrom

removeBuiltinBoolWith

removeBuiltinBool