Error
Fixtype of errors.
This is a product type introduced by fty::defprod.
Fields
- info — ACL2::any-p
In order to be flexible in the kind of error information we return,
we define this fixtype as a wrapper of any ACL2 value, at least for now.
We may restrict this a bit later, e.g. to impose more structure.
Subtopics
- Error-fix
- Fixing function for error structures.
- Error-equiv
- Basic equivalence relation for error structures.
- Make-error
- Basic constructor macro for error structures.
- Errorp
- Recognizer for error structures.
- Change-error
- Modifying constructor for error structures.
- Error->info
- Get the info field from a error.
