4867def finishDecodedRecordAssignmentAfterName =
4868 (lambda unrestricted name : Bytes .
4869 (lambda unrestricted origin : (family SyntaxOrigin) .
4870 (lambda unrestricted afterName : (family Syntax) .
4871 (lambda unrestricted terms : (family TermList) .
4872 (lambda unrestricted fallback : (family TermDecodeResult) .
4873 (eliminate
4874 Syntax
4875 (lambda unrestricted current : (family Syntax) . (family TermDecodeResult))
4876 afterName
4877 (branch SyntaxAtom spelling atomOrigin . fallback)
4878 (branch SyntaxEmpty . fallback)
4879 (branch
4880 SyntaxCons
4881 equals
4882 afterEquals
4883 ih_equals
4884 ih_afterEquals
4885 .
4886 (eliminate
4887 Syntax
4888 (lambda unrestricted current : (family Syntax) . (family TermDecodeResult))
4889 equals
4890 (branch
4891 SyntaxAtom
4892 spelling
4893 equalsOrigin
4894 .
4895 (app
4896 (nat-eliminate
4897 (lambda unrestricted matched : Nat .
4898 (pi unrestricted force : Nat . (family TermDecodeResult)))
4899 (lambda unrestricted force : Nat . fallback)
4900 (lambda unrestricted predecessor : Nat .
4901 (lambda unrestricted induction : (pi unrestricted force : Nat . (family TermDecodeResult)) .
4902 (lambda unrestricted force : Nat .
4903 (finishDecodedRecordAssignmentTail
4904 name
4905 origin
4906 afterEquals
4907 terms
4908 fallback))))
4909 (bytesEqual spelling equalsSpelling))
4910 zero))
4911 (branch SyntaxEmpty . fallback)
4912 (branch SyntaxCons head tail ih_head ih_tail . fallback)
4913 (branch SyntaxNode children ih_children . fallback)))
4914 (branch SyntaxNode children ih_children . fallback)))))))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.