the walk with a problem found at line n (it stops the walk)
249def aosWalkFail =
250 (lambda unrestricted walk : (family AosWalk) .
251 (lambda unrestricted problem : Nat .
252 (lambda unrestricted n : Nat .
253 (lambda unrestricted code : Nat .
254 (eliminate
255 AosWalk
256 (lambda unrestricted current : (family AosWalk) . (family AosWalk))
257 walk
258 (branch
259 AosWalkValue
260 oldProblem
261 oldLine
262 oldCode
263 producers
264 footer
265 complete
266 events
267 unknown
268 .
269 (constructor
270 AosWalk
271 AosWalkValue
272 problem
273 n
274 code
275 producers
276 footer
277 complete
278 events
279 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.