3200def finishDecodedLocalLetBinding =
3201 (lambda unrestricted tailResult : (family TermDecodeResult) .
3202 (lambda unrestricted bindingResult : (family LocalLetBindingDecodeResult) .
3203 (eliminate
3204 LocalLetBindingDecodeResult
3205 (lambda unrestricted value : (family LocalLetBindingDecodeResult) .
3206 (family TermDecodeResult))
3207 bindingResult
3208 (branch
3209 LocalLetBindingDecoded
3210 quantity
3211 binder
3212 hasAnnotation
3213 annotation
3214 value
3215 .
3216 (eliminate
3217 TermDecodeResult
3218 (lambda unrestricted result : (family TermDecodeResult) . (family TermDecodeResult))
3219 tailResult
3220 (branch
3221 TermDecoded
3222 body
3223 .
3224 (constructor
3225 TermDecodeResult
3226 TermDecoded
3227 (constructor Term LocalLet quantity binder hasAnnotation annotation value body)))
3228 (branch TermsDecoded terms . localLetSyntaxFailure)
3229 (branch
3230 TermDecodeFailed
3231 code
3232 origin
3233 .
3234 (constructor TermDecodeResult TermDecodeFailed code origin))))
3235 (branch LocalLetBindingDecodeFailed . localLetSyntaxFailure))))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.