312def aosBind =
313 (lambda unrestricted decoded : (family AosDecoded) .
314 (lambda unrestricted continue : (pi unrestricted value : (family AosValue) . (family AosDecoded)) .
315 (eliminate AosDecoded (lambda unrestricted current : (family AosDecoded) . (family AosDecoded)) decoded
316 (branch AosDecodedValue value . (continue value))
317 (branch AosDecodeRejected . aosRejected))))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.