350def sm86InstructionFieldFailure =
351 (lambda unrestricted error : (family SM86EncodingErrorCode) .
352 (lambda unrestricted position : Nat .
353 (lambda unrestricted width : Nat .
354 (lambda unrestricted detail : Nat .
355 (lambda unrestricted telemetry : (family SM86FieldEncodingTelemetry) .
356 (constructor
357 SM86InstructionEncodingResult
358 SM86InstructionEncodingFieldFailed
359 error
360 position
361 width
362 detail
363 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.