[−][src]Module chalk_engine::slg
Structs
TruncatingInferenceTable |
Traits
ResolventOps | |
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. |
UnificationOps | Methods for unifying and manipulating terms and binders. |