Structs§

  • The provisional result for a goal which is not on the stack.
  • Whether and how this goal has been used as the root of a cycle. We track the kind of cycle as we’re otherwise forced to always rerun at least once.
  • Stores the stack depth of a currently evaluated goal and already computed results for goals which depend on other goals still on the stack.
  • StackEntry 🔒