def trim_capacity

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:90

import Base

90def trim_capacity(~E: Data,trimmed: Trimmed<E>,+capacity: Nat) -> Trimmed<E>:
91  match trimmed:
92    case Trimmed{batches,dropped}: at_capacity(~E,batches,capacity,dropped)