chalk_recursive
0.97.0-dev.0
All Items
Modules
Structs
Type Aliases
?
Crate
chalk_recursive
source
·
[
−
]
Modules
§
combine
🔒
fixed_point
🔒
fulfill
🔒
recursive
🔒
solve
Structs
§
Cache
The “cache” stores results for goals that we have completely solved. Things are added to the cache when we have completely processed their result, and it can be shared amongst many solvers.
RecursiveSolver
Type Aliases
§
UCanonicalGoal