def empty.heap

bend-kit-runner@0.13.0.1 · runner.bend:1408

import Base
import bend-kit-scheduler@0.4.1.0/queue.bend as Q
import bend-kit-collections@0.1.4.1/heap.bend as H

1408def empty.heap(-A: Data, h: H.Heap<Q.Ticket<A>>) -> Bool:
1409  match h:
1410    case H.HLeaf{}:
1411      True{}
1412    case H.HNode{n, t, l, r}:
1413      False{}