4088def decodePrimitiveVariableHead =
4089 (lambda unrestricted spelling : Bytes .
4090 (lambda unrestricted functionTerm : (family Term) .
4091 (lambda unrestricted argumentTerm : (family Term) .
4092 (lambda unrestricted remaining : (family TermList) .
4093 (chooseNamedDecode
4094 (bytesEqual spelling byteLiteralSpelling)
4095 (lambda unrestricted force : Nat . (decodeByteLiteral argumentTerm remaining))
4096 (lambda unrestricted force : Nat .
4097 (chooseNamedDecode
4098 (bytesEqual spelling bytesLiteralSpelling)
4099 (lambda unrestricted force : Nat . (decodeBytesLiteral argumentTerm remaining))
4100 (lambda unrestricted force : Nat .
4101 (nat-eliminate
4102 (lambda unrestricted matchedSuccessor : Nat . (family TermDecodeResult))
4103 (nat-eliminate
4104 (lambda unrestricted matchedApplication : Nat . (family TermDecodeResult))
4105 (decodeOrdinaryHead functionTerm argumentTerm remaining)
4106 (lambda unrestricted predecessor : Nat .
4107 (lambda unrestricted induction : (family TermDecodeResult) .
4108 (decodeApplicationTail argumentTerm remaining)))
4109 (bytesEqual spelling applicationSpelling))
4110 (lambda unrestricted predecessor : Nat .
4111 (lambda unrestricted induction : (family TermDecodeResult) .
4112 (requireNoMoreArguments
4113 (constructor Term NaturalSuccessor argumentTerm)
4114 remaining)))
4115 (bytesEqual spelling successorSpelling))))))))))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.