Modules§
Structs§
- Expression
Digests 🔒 - Structural digests that identify expressions in stable symbol names.
- Expression
Fold 🔒Cache - Results from one deterministic bottom-up expression fold.
- Model
Evaluator 🔒 - Evaluates hash-consed expressions once per model.
- Noop
Model 🔒