Crate
chalk_recursive
chalk_recursive
0.98.0-dev.0
All Items
Modules
Structs
Type Aliases
Crates
chalk
chalk_derive
chalk_engine
chalk_integration
chalk_ir
chalk_parse
chalk_recursive
chalk_solve
?
Settings
Crate
chalk_recursive
Copy item path
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