Skip to main content

Module trace

Module trace 

Source
Expand description

Evaluation module trace.

Structsยง

Iter
Borrowing iterator over Trace.
Trace
A stack-like structure to hold the module backtrace during evaluation.