chalk_recursive
0.98.0-dev.0
Module stack
Structs
In chalk_recursive::fixed_point
Module
chalk_recursive
::
fixed_point
::
stack
Copy item path
source
ยท
[
−
]
Structs
ยง
Stack
๐
StackDepth
๐
StackEntry
๐
The data we actively keep for each goal on the stack.