line n of the stream: stops at the first problem
661def aosWalkLine =
662 (lambda unrestricted walk : (family AosWalk) .
663 (lambda unrestricted n : Nat .
664 (lambda unrestricted line : Bytes .
665 (aosChoose
666 (family AosWalk)
667 (aosWalkProblemOf walk)
668 walk
669 (eliminate
670 AosLine
671 (lambda unrestricted current : (family AosLine) . (family AosWalk))
672 (aosClassifyLine line)
673 (branch AosLineInvalid code . (aosWalkFail walk 2 n code))
674 (branch
675 AosLineValid
676 record
677 .
678 (aosChoose
679 (family AosWalk)
680 (aosWalkFooterOf walk)
681 (aosWalkFail walk 4 n 0)
682 (aosWalkRecord walk n record))))))))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.