414def completeBytesAppend =
415 (lambda unrestricted left : Bytes .
416 (lambda unrestricted right : (family ClosedNaturalElaboration) .
417 (eliminate
418 ClosedNaturalElaboration
419 (lambda unrestricted value : (family ClosedNaturalElaboration) .
420 (family ClosedNaturalElaboration))
421 right
422 (branch NaturalElaborated elaboratedNatural . unsupportedApplicationResult)
423 (branch
424 BytesElaborated
425 elaboratedBytes
426 .
427 (constructor ClosedNaturalElaboration BytesElaborated (bytes-append left elaboratedBytes)))
428 (branch ByteElaborated elaboratedByte . unsupportedApplicationResult)
429 (branch PrimitivePartial elaboratedPartial . unsupportedApplicationResult)
430 (branch
431 UnboundVariable
432 unboundSpelling
433 .
434 (constructor ClosedNaturalElaboration UnboundVariable unboundSpelling))
435 (branch
436 UnsupportedTerm
437 unsupportedCode
438 .
439 (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.