5214def combineDecodedSequence =
5215 (lambda unrestricted headResult : (family TermDecodeResult) .
5216 (lambda unrestricted tailResult : (family TermDecodeResult) .
5217 (eliminate
5218 TermDecodeResult
5219 (lambda unrestricted value : (family TermDecodeResult) . (family TermDecodeResult))
5220 headResult
5221 (branch
5222 TermDecoded
5223 decodedTerm
5224 .
5225 (eliminate
5226 TermDecodeResult
5227 (lambda unrestricted value : (family TermDecodeResult) . (family TermDecodeResult))
5228 tailResult
5229 (branch
5230 TermDecoded
5231 tailTerm
5232 .
5233 (constructor
5234 TermDecodeResult
5235 TermDecodeFailed
5236 (succ (succ (succ (succ (succ zero)))))
5237 (constructor SyntaxOrigin SyntaxOriginUnknown)))
5238 (branch
5239 TermsDecoded
5240 decodedTerms
5241 .
5242 (constructor
5243 TermDecodeResult
5244 TermsDecoded
5245 (prependDecodedSequence decodedTerm decodedTerms)))
5246 (branch
5247 TermDecodeFailed
5248 termDecodeFailureCode
5249 termFailureOrigin
5250 .
5251 (constructor
5252 TermDecodeResult
5253 TermDecodeFailed
5254 termDecodeFailureCode
5255 termFailureOrigin))))
5256 (branch
5257 TermsDecoded
5258 decodedTerms
5259 .
5260 (constructor
5261 TermDecodeResult
5262 TermDecodeFailed
5263 (succ (succ (succ (succ (succ zero)))))
5264 (constructor SyntaxOrigin SyntaxOriginUnknown)))
5265 (branch
5266 TermDecodeFailed
5267 termDecodeFailureCode
5268 termFailureOrigin
5269 .
5270 (constructor TermDecodeResult TermDecodeFailed termDecodeFailureCode termFailureOrigin)))))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.