the line's verdict code (0: a valid record)
646def aosLineCode =
647 (lambda unrestricted line : Bytes .
648 (eliminate
649 AosLine
650 (lambda unrestricted current : (family AosLine) . Nat)
651 (aosClassifyLine line)
652 (branch AosLineInvalid code . code)
653 (branch AosLineValid record . 0)))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.