Module transform::monotonic

Analysis to identify monotonic collections, especially TopK inputs.

Structs

MonotonicFlag

A struct that holds a recursive function that determines if a relation is monotonic, and applies any optimizations along the way.