4060def decodeArithmeticArguments =
4061 (lambda unrestricted operation : (family CoreNaturalOperation) .
4062 (lambda unrestricted left : (family Term) .
4063 (lambda unrestricted remaining : (family TermList) .
4064 (eliminate
4065 TermList
4066 (lambda unrestricted terms : (family TermList) . (family TermDecodeResult))
4067 remaining
4068 (branch TermListEnd . arithmeticArityFailure)
4069 (branch
4070 TermListNext
4071 right
4072 rest
4073 ih_rest
4074 .
4075 (eliminate
4076 TermList
4077 (lambda unrestricted terms : (family TermList) . (family TermDecodeResult))
4078 rest
4079 (branch
4080 TermListEnd
4081 .
4082 (constructor
4083 TermDecodeResult
4084 TermDecoded
4085 (constructor Term NaturalArithmetic operation left right)))
4086 (branch TermListNext extra tail ih_tail . arithmeticArityFailure)))))))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.