pub fn columnar_leave_dynamic<'scope>(
collection: Collection<'scope, Product<Timestamp, PointStamp<u64>>, Column<(Row, Product<Timestamp, PointStamp<u64>>, Diff)>>,
level: usize,
) -> Collection<'scope, Product<Timestamp, PointStamp<u64>>, Column<(Row, Product<Timestamp, PointStamp<u64>>, Diff)>>Expand description
Leaves a dynamically created scope that has level iteration coordinates.
The columnar counterpart of differential’s leave_dynamic, which it offers only for
Vec collections. Keeping the recursive binding’s result on the edge is what lets the
feedback loop run without a decode and a re-encode per iteration.