Module chalk_recursive::fixed_point::stack

Structs

• Stack 🔒
• StackDepth 🔒
• StackEntry 🔒
  The data we actively keep for each goal on the stack.