Data.Expression
type QFLogicF
type QFLiaF
type LiaF
type QFALiaF
type ALiaF
type Var
type QFLogic
type QFLia
type Lia
type QFALia
type ALia
class ComplementedLattice a
type VariableName
data VarF a s
data ConjunctionF a s
data DisjunctionF a s
data NegationF a s
data UniversalF v a s
data ExistentialF v a s
data Substitution f
class MaybeQuantified f
class NNF f
class Prenex f
class Flatten f
class Unstore f