~/jendhub

def obs_nat

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

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

379def obs_nat(~A: Data, r: Heap<A> & Nat) -> Heap<A> & E.Obs<A>:
380  (h, n) = r
381  (h, E.ONat{n})

Uses (5)

Used by (1)