Module mz_transform::analysis::monotonic

source ·
Expand description

Analysis that determines the logical monotonicity of an expression.

Expressions are logically monotonic if their inputs are monotonic, and they do not introduce any retractions.

Structs§

  • Monotonic
    Determines the logical monotonicity of an expression.