Fenv
Fixtype of flattening environments.
This is a product type introduced by fty::defprod.
Fields
- constants — const-fenv
- curve — curve
This consists of a constant flattening environment
and a curve (the one that Leo is parameterized ove).
This may be extended with additional components at some point.
Subtopics
- Fenv-fix
- Fixing function for fenv structures.
- Fenvp
- Recognizer for fenv structures.
- Fenv-equiv
- Basic equivalence relation for fenv structures.
- Make-fenv
- Basic constructor macro for fenv structures.
- Fenv->constants
- Get the constants field from a fenv.
- Change-fenv
- Modifying constructor for fenv structures.
- Fenv->curve
- Get the curve field from a fenv.
