Module stack 

Structs

Stack 🔒

The stack of goals currently being computed.

StackDepth 🔒

StackEntry 🔒

Stack entries of the evaluation stack. Its fields tend to be lazily updated when popping a child goal or completely immutable.