Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data SymWordInst a Source
SymWord a => SymWordInst |
symWordInst :: Type a -> SymWordInst a Source
data HasSignAndSizeInst a Source
hasSignAndSizeInst :: Type a -> HasSignAndSizeInst a Source
EqSymbolic (SBV a) => EqInst |
data BVDivisibleInst a Source
SDivisible (SBV a) => BVDivisibleInst |
divInst :: Type a -> BVDivisibleInst a Source
OrdSymbolic (SBV a) => OrdInst |
data MergeableInst a Source
Mergeable (SBV a) => MergeableInst |
mergeableInst :: Type a -> MergeableInst a Source