Senv
Fixtype of static environments.
This is a product type introduced by fty::defprod.
Fields
- identifiers — ident-senv
Currently this is just a wrapper for identifier static environments,
but it may contain additional information for future versions of Leo.
This is why we introduce this wrapping here.
Subtopics
- Senvp
- Recognizer for senv structures.
- Senv-fix
- Fixing function for senv structures.
- Senv-equiv
- Basic equivalence relation for senv structures.
- Make-senv
- Basic constructor macro for senv structures.
- Senv->identifiers
- Get the identifiers field from a senv.
- Change-senv
- Modifying constructor for senv structures.
