contiguous_pool_count

Function contiguous_pool_count 

Source
pub fn contiguous_pool_count(kpool: usize, seq: usize) -> usize
Expand description

Pools kept over a contiguous, unpadded cache of seq tokens.

A pool needs all kpool slots, so the trailing partial pool is not a pool. Proven against glm5next_dsa_ref::kept_pools in tests.