Module chalk_recursive::fulfill

Structs

• Fulfill 🔒
  A Fulfill is where we actually break down complex goals, instantiate variables, and perform inference. It’s highly stateful. It’s generally used in Chalk to try to solve a goal, and then package up what was learned in a stateless, canonical way.
• PositiveSolution 🔒
  When proving a leaf goal, we record the free variables that appear within it so that we can update inference state accordingly.

Enums

• NegativeSolution 🔒
  When refuting a goal, there’s no impact on inference state.
• Obligation 🔒
  A goal that must be resolved
• Outcome 🔒

Functions

• canonicalize 🔒
• is_trivial_canonical_subst 🔒
• u_canonicalize 🔒
• unify 🔒