Expand description

Analysis to identify monotonic collections, especially TopK inputs.

Structs

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