Module finding 

ReducibilityFinding and related types — spec §10.10.2.

A finding represents either “no rewrite applies” (empty) or “this rule rewrites C into the witness AST C’.” Findings also carry a ComplexityDelta declaring the improvement the rewrite achieves in compute and/or memory complexity.

Structs

ComplexityDelta

Strict-improvement vector along the (compute, memory) dimensions (spec §10.10.2 + §10.10.3 catalog table).

ReducibilityFinding

Output of the reducibility analyzer (spec §10.10.2).

Enums

Ordering

Three-way asymptotic ordering for one complexity dimension.

Reduction

The rewrite carried by a non-empty finding.

RuleId

Identifier for each R-rule in the optimizer catalog (§10.2 + §10.10.3).