Encoding either yields the exact bytes or names the operand it refused.
355family AArch64EncodeResult : Type 0
356constructor AArch64Encoded
357field unrestricted aarch64EncodedBytes : Bytes
358constructor AArch64ImmediateOutOfRange
359field unrestricted aarch64ImmediateOutOfRangeValue : Nat
360constructor AArch64MisalignedOffset
361field unrestricted aarch64MisalignedOffsetValue : Nat
362constructor AArch64DisplacementOutOfRange
363field unrestricted aarch64DisplacementOutOfRangeValue : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.