Stability | experimental |
---|---|
Maintainer | erkokl@gmail.com |
Safe Haskell | None |
Demonstrates uninterpreted sorts, together with axioms.
Documentation
A new data-type that we expect to use in an uninterpreted fashion
in the backend SMT solver. Note the custom deriving
clause, which
takes care of most of the boilerplate.
Eq Q | |
Data Q | |
Ord Q | |
Typeable Q | |
SymWord Q | We need |
HasKind Q |