Feat
Fixtype of RISC-V feature choices.
This is a product type introduced by fty::defprod.
Fields
- base — feat-base
- m — booleanp
For now we only model the following choices:
- The base.
- Whether the M extension [ISA:13] is present or not.
More features will be added later.
Subtopics
- Featp
- Recognizer for feat structures.
- Feat-fix
- Fixing function for feat structures.
- Feat-equiv
- Basic equivalence relation for feat structures.
- Make-feat
- Basic constructor macro for feat structures.
- Change-feat
- Modifying constructor for feat structures.
- Feat->base
- Get the base field from a feat.
- Feat->m
- Get the m field from a feat.
