Module mz_transform::attribute::non_negative
source · Expand description
Definition and helper structs for the NonNegative
attribute.
Structs
- Traverses a
MirRelationExpr
tree and figures out whether for subtree the sum of all diffs up to a specific time for any record can be a negative value.