def Heap.size

bend-kit-collections@0.1.4.1 · heap.bend:19

import Base

19def Heap.size(-A: Data, h: Heap<A>) -> Nat:
20  match h:
21    case HLeaf{}:
22      0n
23    case HNode{n, x, l, r}:
24      n