Module bi_incremental

Module bi_incremental 

Source
Expand description

Incremental bi-constraint for self-join evaluation.

Zero-erasure: all closures are concrete generic types, fully monomorphized. Uses key-based indexing for O(k) lookups instead of O(n) iteration.

Structsยง

IncrementalBiConstraint
Zero-erasure incremental bi-constraint for self-joins.