543def applyElaboratedFunction =
544 (lambda unrestricted function : (family ClosedNaturalElaboration) .
545 (lambda unrestricted argument : (family ClosedNaturalElaboration) .
546 (eliminate
547 ClosedNaturalElaboration
548 (lambda unrestricted value : (family ClosedNaturalElaboration) .
549 (family ClosedNaturalElaboration))
550 function
551 (branch NaturalElaborated elaboratedNatural . unsupportedApplicationResult)
552 (branch BytesElaborated elaboratedBytes . unsupportedApplicationResult)
553 (branch ByteElaborated elaboratedByte . unsupportedApplicationResult)
554 (branch
555 PrimitivePartial
556 elaboratedPartial
557 .
558 (eliminate
559 PartialPrimitive
560 (lambda unrestricted value : (family PartialPrimitive) .
561 (family ClosedNaturalElaboration))
562 elaboratedPartial
563 (branch
564 PartialByteComparison
565 partialComparisonOperation
566 partialComparisonLeft
567 .
568 (elaborateByteComparisonValue
569 partialComparisonOperation
570 partialComparisonLeft
571 argument))
572 (branch
573 PartialNaturalLessThan
574 partialNaturalLeft
575 .
576 (elaborateNaturalLessThanValue partialNaturalLeft argument))
577 (branch PartialBytesCons partialConsHead . (completeBytesCons partialConsHead argument))
578 (branch
579 PartialBytesAppend
580 partialAppendLeft
581 .
582 (completeBytesAppend partialAppendLeft argument))))
583 (branch
584 UnboundVariable
585 unboundSpelling
586 .
587 (constructor ClosedNaturalElaboration UnboundVariable unboundSpelling))
588 (branch
589 UnsupportedTerm
590 unsupportedCode
591 .
592 (constructor ClosedNaturalElaboration UnsupportedTerm unsupportedCode)))))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.