~/jendhub

def obs_list

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

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

387def obs_list(~A: Data, r: Heap<A> & List<&2, A>) -> Heap<A> & E.Obs<A>:
388  (h, xs) = r
389  (h, E.OList{xs})

Uses (5)

Used by (1)