Module visitor

Structs

HeapVisitor 🔒

HeapVisitor visits every item in an Hir recursively using constant stack size and a heap size proportional to the size of the Hir.

Enums

Frame 🔒

Represents a single stack frame while performing structural induction over an Hir.

Traits

Visitor

A trait for visiting the high-level IR (HIR) in depth first order.

Functions

visit

Executes an implementation of Visitor in constant stack space.