112def sm86EncodingErrorOrdinal =
113 (lambda unrestricted error : (family SM86EncodingErrorCode) .
114 (eliminate
115 SM86EncodingErrorCode
116 (lambda unrestricted current : (family SM86EncodingErrorCode) . Nat)
117 error
118 (branch SM86EncodingWordLengthInvalid . (byte-to-nat (byte 1)))
119 (branch SM86EncodingFieldWidthInvalid . (byte-to-nat (byte 2)))
120 (branch SM86EncodingFieldExtentInvalid . (byte-to-nat (byte 3)))
121 (branch SM86EncodingFieldValueOverflow . (byte-to-nat (byte 4)))
122 (branch SM86EncodingControlInvalid . (byte-to-nat (byte 5)))))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.