~/jendhub

def record

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

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

414def record(~A: Data, acc: List<&2, E.Obs<A>>, r: Heap<A> & E.Obs<A>) -> Heap<A> & List<&2, E.Obs<A>>:
415  (h, o) = r
416  (h, Con{o, acc})

Uses (5)

Used by (1)