def drop_heap

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

import Base
import bend-collections@1.0.0.0/src/containers/types/binary_heap.bend as E

391def drop_heap(~A: Data, h: Heap<A>, v: Heap<A> & E.Obs<A>) -> Heap<A> & E.Obs<A>:
392  v