583def aosWalkUnknownRecord =
584 (lambda unrestricted walk : (family AosWalk) .
585 (eliminate
586 AosWalk
587 (lambda unrestricted current : (family AosWalk) . (family AosWalk))
588 walk
589 (branch
590 AosWalkValue
591 problem
592 line
593 code
594 producers
595 footer
596 complete
597 events
598 unknown
599 .
600 (constructor
601 AosWalk
602 AosWalkValue
603 problem
604 line
605 code
606 producers
607 footer
608 complete
609 events
610 (succ unknown)))))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.