620def aosWalkFooterOf =
621 (lambda unrestricted walk : (family AosWalk) .
622 (eliminate
623 AosWalk
624 (lambda unrestricted current : (family AosWalk) . Nat)
625 walk
626 (branch AosWalkValue problem line code producers footer complete events unknown . footer)))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.