def push

bend-collections@1.0.0.0 · src/containers/binary_heap.bend:225

import Base

225def push(~A: Data, ~cmp: A -> A -> Cmp, h: Heap<A>, x: A) -> Heap<A>:
226  BH{size, +n, +depth, +cap, arr} = h
227  push_room(~A, ~cmp, size, n, depth, cap, arr, x, U32.is_lt(n, cap))