517def prependStreamingAtomByte =
518 (lambda unrestricted byte : Byte .
519 (lambda unrestricted state : (family StreamingStructuralState) .
520 (eliminate
521 StreamingStructuralState
522 (lambda unrestricted value : (family StreamingStructuralState) .
523 (family StreamingStructuralState))
524 state
525 (branch
526 StreamingStructuralActive
527 pendingAtom
528 streamingForest
529 streamingStack
530 origin
531 .
532 (constructor
533 StreamingStructuralState
534 StreamingStructuralActive
535 (bytes-cons byte pendingAtom)
536 streamingForest
537 streamingStack
538 origin))
539 (branch
540 StreamingStructuralFailed
541 streamingFailureCode
542 structuralFailureOrigin
543 recoveryAtom
544 recoveryOrigin
545 .
546 (constructor
547 StreamingStructuralState
548 StreamingStructuralFailed
549 streamingFailureCode
550 structuralFailureOrigin
551 (bytes-cons byte recoveryAtom)
552 recoveryOrigin)))))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.