Data.SBV
type SBool
type SWord8
type SWord16
type SWord32
type SWord64
type SInt8
type SInt16
type SInt32
type SInt64
type SInteger
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 SignCast 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
data ThmResult
data SatResult
data AllSatResult
data SMTResult
class SatModel a
class Modelable a
data SMTConfig
data OptimizeOpts
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 types
data CgSRealType