Features

Feat

Fixtype of RISC-V feature choices.

This is a product type introduced by fty::defprod.

Fields

bits — feat-bits

For now we only model the following choices:

32 or 64 bits.

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->bits: Get the bits field from a feat.