365def sm86InstructionContinueFields =
366 (lambda unrestricted operands : (family SM86EncodedFieldList) .
367 (lambda unrestricted header : (family SM86FieldEncodingResult) .
368 (eliminate
369 SM86FieldEncodingResult
370 (lambda unrestricted current : (family SM86FieldEncodingResult) .
371 (family SM86InstructionEncodingResult))
372 header
373 (branch
374 SM86FieldEncodingSucceeded
375 headerBytes
376 headerTelemetry
377 .
378 (eliminate
379 SM86FieldEncodingResult
380 (lambda unrestricted current : (family SM86FieldEncodingResult) .
381 (family SM86InstructionEncodingResult))
382 (sm86EncodeFieldListFrom operands headerBytes)
383 (branch
384 SM86FieldEncodingSucceeded
385 complete
386 operandTelemetry
387 .
388 (constructor
389 SM86InstructionEncodingResult
390 SM86InstructionEncodingSucceeded
391 complete
392 (sm86MergeFieldTelemetry headerTelemetry operandTelemetry)))
393 (branch
394 SM86FieldEncodingFailed
395 error
396 position
397 width
398 detail
399 telemetry
400 .
401 (sm86InstructionFieldFailure
402 error
403 position
404 width
405 detail
406 (sm86MergeFieldTelemetry headerTelemetry telemetry)))))
407 (branch
408 SM86FieldEncodingFailed
409 error
410 position
411 width
412 detail
413 telemetry
414 .
415 (sm86InstructionFieldFailure error position width detail telemetry)))))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.