Module stack

Structs

Stack 🔒

StackDepth 🔒

StackEntry 🔒

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