Documentation
data SymWordInst a Source
SymWord a => SymWordInst |
symWordInst :: Type a -> SymWordInst aSource
data HasSignAndSizeInst a Source
hasSignAndSizeInst :: Type a -> HasSignAndSizeInst aSource
EqSymbolic (SBV a) => EqInst |
data BVDivisibleInst a Source
BVDivisible (SBV a) => BVDivisibleInst |
divInst :: Type a -> BVDivisibleInst aSource
OrdSymbolic (SBV a) => OrdInst |
data MergeableInst a Source
Mergeable (SBV a) => MergeableInst |
mergeableInst :: Type a -> MergeableInst aSource