Module move_stackless_bytecode::dataflow_domains

Expand description

This module defines traits and representations of domains used in dataflow analysis.

Structs

Implements a set domain.

Represents the abstract outcome of a join.

A trait to be implemented by domains which support a join.