ToySolver.BitVector.Base
data BV
bv2nat
nat2bv
fromAscBits
fromDescBits
toAscBits
toDescBits
class IsBV a
data Var
data Expr
data Op1
data Op2
repeat
zeroExtend
signExtend
data Atom
class BVComparison a
type Model
evalExpr
evalAtom