4276def decodeNonBinderVariableHead =
4277 (lambda unrestricted spelling : Bytes .
4278 (lambda unrestricted functionTerm : (family Term) .
4279 (lambda unrestricted argumentTerm : (family Term) .
4280 (lambda unrestricted remaining : (family TermList) .
4281 (chooseNamedDecode
4282 (bytesEqual spelling universeTypeSpelling)
4283 (lambda unrestricted force : Nat . (decodeUniverseApplication argumentTerm remaining))
4284 (lambda unrestricted force : Nat .
4285 (chooseNamedDecode
4286 (bytesEqual spelling familyApplicationSpelling)
4287 (lambda unrestricted force : Nat . (decodeFamilyApplication argumentTerm remaining))
4288 (lambda unrestricted force : Nat .
4289 (chooseNamedDecode
4290 (bytesEqual spelling constructorApplicationSpelling)
4291 (lambda unrestricted force : Nat .
4292 (decodeConstructorApplication argumentTerm remaining))
4293 (lambda unrestricted force : Nat .
4294 (chooseNamedDecode
4295 (bytesEqual spelling eliminatorSpelling)
4296 (lambda unrestricted force : Nat .
4297 (decodeEliminatorApplication argumentTerm remaining))
4298 (lambda unrestricted force : Nat .
4299 (chooseNamedDecode
4300 (parserNaturalOr
4301 (bytesEqual spelling branchSpelling)
4302 (bytesEqual spelling caseSpelling))
4303 (lambda unrestricted force : Nat .
4304 (decodeTermEliminatorBranch argumentTerm remaining))
4305 (lambda unrestricted force : Nat .
4306 (decodeMatchVariableHead spelling functionTerm argumentTerm remaining)))))))))))))))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.