Fgl-fty-support
Utilities for supporting fty types in fgl.
Subtopics
- Def-fgl-fty-sum-splitter
- Add a representation for the FGL rewriter that can symbolically represent an
element of a sum type, even if that element might be of different kinds under
different conditions.
- Def-fgl-cons-rules-for-fty-sum
- Utility that provides an FGL rewriting theory supporting FTY sum or product type accessors on cons structures.
- Add/remove-fgl-rules-for-fty-sum
- Utility that updates the FGL rewriting theory to support an FTY sum or product type,
removing definitions and adding supporting rewrite rules.
