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
class IEEEFloating a
class IEEEFloatConvertable a
data RoundingMode
type SRoundingMode
type SReal
data AlgReal
data SBV a
class SymArray array
data SArray a b
data SFunArray a b
type STree i e
class FromBits a
class Splittable a b
class Polynomial a
class Mergeable a
class EqSymbolic a
class OrdSymbolic a
class SIntegral a
class SDivisible a
class Boolean b
class PrettyNum a
class Uninterpreted a
type Predicate
class Provable a
class Equality a
class SExecutable a
data ThmResult
data SatResult
data SafeResult
data AllSatResult
data SMTResult
class SatModel a
class Modelable a
data SMTConfig
data SMTLibVersion
data SMTLibLogic
data Logic
data OptimizeOpts
data Solver
data SMTSolver
data Symbolic a
class SymWord a
data TestVectors
data TestStyle
data CW
class HasKind a
data Kind
data SBVCodeGen a
SInteger
and SReal
typesdata CgSRealType