Module chalk_engine::logic

source ยท

Structsยง

Enumsยง

  • This is returned on_no_remaining_subgoals
  • RootSearchFail ๐Ÿ”’
    The different ways that a root search (which potentially pursues many strands) can fail. A root search is one that begins with an empty stack.
  • SubGoalSelection ๐Ÿ”’
    This is returned when we try to select a subgoal for a strand.

Type Aliasesยง