Module chalk_engine::context
[−]
[src]
Traits
| Aggregate | |
| BindersGoal | |
| CanonicalConstrainedSubst | |
| ConstraintInEnvironment | |
| Context | |
| ContextOps | |
| DomainGoal | |
| Environment | |
| Goal | |
| GoalInEnvironment | |
| InferenceTable | |
| Parameter | |
| ProgramClause | |
| ResolventOps | |
| Substitution | |
| TruncateOps |
"Truncation" (called "abstraction" in the papers referenced below) refers to the act of modifying a goal or answer that has become too large in order to guarantee termination. The SLG solver doesn't care about the precise truncation function, so long as it's deterministic and so forth. |
| UCanonicalGoalInEnvironment | |
| UnificationResult | |
| UniverseMap |