658def chCombineReferenceAdmitted =
659 (lambda unrestricted role : Nat .
660 (lambda unrestricted reference : (family CombineReference) .
661 (eliminate
662 StdOption
663 (lambda unrestricted current : (family StdOption Nat) . Nat)
664 (combineReferenceIndex role chCombineTree reference)
665 (branch StdNone . 0)
666 (branch StdSome index . 1))))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.