1504def extendEliminatorBranchScope =
1505 (lambda unrestricted identifier : Bytes .
1506 (lambda unrestricted tailResolution : (family EliminatorBranchScopeResolution) .
1507 (eliminate
1508 EliminatorBranchScopeResolution
1509 (lambda unrestricted value : (family EliminatorBranchScopeResolution) .
1510 (family EliminatorBranchScopeResolution))
1511 tailResolution
1512 (branch
1513 EliminatorBranchScopeResolved
1514 scope
1515 binderCount
1516 .
1517 (constructor
1518 EliminatorBranchScopeResolution
1519 EliminatorBranchScopeResolved
1520 (constructor NameScope NameScopeBinding identifier scope)
1521 (succ binderCount)))
1522 (branch
1523 EliminatorBranchScopeRejected
1524 .
1525 (constructor EliminatorBranchScopeResolution EliminatorBranchScopeRejected)))))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.