[−][src]Module chalk_engine::slg

Structs

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.