587def aarch64RnByte0 =
588 (lambda unrestricted register : (family AArch64Register) .
589 (naturalMultiply
590 (naturalModuloUnchecked (aarch64RegisterCode register) aarch64Eight)
591 aarch64ThirtyTwo))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.