def obs_item

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

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

383def obs_item(~A: Data, r: Heap<A> & Result<&2, &2, E.Error, A>) -> Heap<A> & E.Obs<A>:
384  (h, x) = r
385  (h, E.OItem{x})

Uses (6)

Used by (1)