Data.SBV
type SBool
type SWord8
type SWord16
type SWord32
type SWord64
type SInt8
type SInt16
type SInt32
type SInt64
type SInteger
type SFloat
type SDouble
type SReal
data AlgReal
data SBV a
class HasKind a
data Kind
class SymArray array
data SArray a b
data SFunArray a b
class FromBits a
class Splittable a b
class Mergeable a
class SIntegral a
class SDivisible a
class Boolean b
class Uninterpreted a
class EqSymbolic a
class OrdSymbolic a
class Equality a
type Predicate
type Goal
class Provable a
class SExecutable a
data OptimizeStyle
data Penalty
data Objective a
data ExtCW
data GeneralizedCW
data ThmResult
data SatResult
data AllSatResult
data SafeResult
data OptimizeResult
data SMTResult
class IEEEFloating a
class IEEEFloatConvertable a
data RoundingMode
type SRoundingMode
class SatModel a
class Modelable a
data SMTConfig
data Timing
data SMTLibVersion
data Solver
data SMTSolver
data Symbolic a
class SymWord a