Module chalk_solve::solve::truncate

Structs

• TySizeVisitor 🔒

Functions

• needs_truncation
  “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.