612def aosWalkProblemOf =
613 (lambda unrestricted walk : (family AosWalk) .
614 (eliminate
615 AosWalk
616 (lambda unrestricted current : (family AosWalk) . Nat)
617 walk
618 (branch AosWalkValue problem line code producers footer complete events unknown . problem)))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.