Module chalk_solve::solve::truncate

source ·
Expand description

Structs§

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.