BinaryTable returns a binary operator based on the provided mapping.

Dot returns a directed graph in [Graphviz] format that represents the finite join-semilattice ⟨S, ≤⟩.

JoinTable returns a [Join] function based on the provided mapping.

M is a helper for constructing instances of [Mapping].

Ms is a helper for constructing slices of mappings.

Decision describes how a mapping from an [ir.Value] to an abstract state came to be.

Framework describes a monotone data-flow framework ⟨S, ∨, Transfer⟩ using a bounded join-semilattice ⟨S, ∨⟩ and a monotonic transfer function.

Instance is an instance of a data-flow analysis.

Mapping maps a single [ir.Value] to an abstract state.

Join defines the [∨] operation for a [join-semilattice].