Expand description
This module implements functionality for expressions, such as evaluations under environments, and interfaces for expressions
Enumsยง
- Evaluation
Error - Evaluation error of an expression
This module implements functionality for expressions, such as evaluations under environments, and interfaces for expressions