AlphaGitHub
Source/Packages

Runtime.OrderedCombine

packages/execution/src/Runtime/OrderedCombine.alpha

329 lines62 declarations11.3 KiBSHA-256 c7d6a83584b8
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 101–116

combineNodeCount

Full file
101def combineNodeCount =
102  (lambda unrestricted tree : (family OrderedCombineTree) .
103    (eliminate
104      OrderedCombineTree
105      (lambda unrestricted current : (family OrderedCombineTree) . Nat)
106      tree
107      (branch OrderedCombineLeaf owner . 1)
108      (branch
109        OrderedCombineBranch
110        owner
111        left
112        right
113        leftResult
114        rightResult
115        .
116        (naturalAdd 1 (naturalAdd leftResult rightResult)))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.