3553def binderDecodeFailed =
3554 (lambda unrestricted code : Nat .
3555 (constructor
3556 TermDecodeResult
3557 TermDecodeFailed
3558 code
3559 (constructor SyntaxOrigin SyntaxOriginUnknown)))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.