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 92–99

combineOwner

Full file
92def combineOwner =
93  (lambda unrestricted tree : (family OrderedCombineTree) .
94    (eliminate
95      OrderedCombineTree
96      (lambda unrestricted current : (family OrderedCombineTree) . Nat)
97      tree
98      (branch OrderedCombineLeaf owner . owner)
99      (branch OrderedCombineBranch owner left right leftResult rightResult . owner)))

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.