---------------------------------------------------------------------------
The walk
235def aosWalkInitial : (family AosWalk) =
236 (constructor
237 AosWalk
238 AosWalkValue
239 0
240 0
241 0
242 (constructor StdList StdListEmpty (family AosProducer))
243 0
244 0
245 0
246 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.