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