def ensure_sized

bendvy-ecs-core@0.1.0.3 · column.bend:159

import Base
import lifecycle.bend as L

159def ensure_sized(~S: Data, ~C: Type, +target: U32, +stamps: List<&2,L.Entry>, sized: Array<Maybe<&1,C>> & U32) -> Column<S,C>:
160  (values, +size) = sized
161  grow(~S, ~C, 17n, values, stamps, size, U32.log2(size), target, U32.is_le(target, size))