Module monotonicity

Modules

• monotonicity_variants

Structs

• MonotonicityAnalyzer 🔒
• MonotonicityMap
  A map from column index to its monotonicity.

Enums

• Monotonicity
  Represents the monotonicity of a column.
• MonotonicityDerivation
  Represents the derivation of the monotonicity of a column. This enum aims to unify the “non-decreasing analysis” and watermark derivation.

Functions

• analyze_monotonicity
  Analyze the monotonicity of an expression.