367def aarch64RegisterCode : (pi unrestricted register : (family AArch64Register) . Nat) =
368 (lambda unrestricted register : (family AArch64Register) .
369 (eliminate
370 AArch64Register
371 (lambda unrestricted current : (family AArch64Register) . Nat)
372 register
373 (branch AArch64X0 . 0)
374 (branch AArch64X1 . 1)
375 (branch AArch64X2 . 2)
376 (branch AArch64X3 . 3)
377 (branch AArch64X4 . 4)
378 (branch AArch64X5 . 5)
379 (branch AArch64X6 . 6)
380 (branch AArch64X7 . 7)
381 (branch AArch64X8 . 8)
382 (branch AArch64X9 . 9)
383 (branch AArch64X10 . 10)
384 (branch AArch64X11 . 11)
385 (branch AArch64X12 . 12)
386 (branch AArch64X13 . 13)
387 (branch AArch64X14 . 14)
388 (branch AArch64X15 . 15)
389 (branch AArch64X16 . 16)
390 (branch AArch64X17 . 17)
391 (branch AArch64X18 . 18)
392 (branch AArch64X19 . 19)
393 (branch AArch64X20 . 20)
394 (branch AArch64X21 . 21)
395 (branch AArch64X22 . 22)
396 (branch AArch64X23 . 23)
397 (branch AArch64X24 . 24)
398 (branch AArch64X25 . 25)
399 (branch AArch64X26 . 26)
400 (branch AArch64X27 . 27)
401 (branch AArch64X28 . 28)
402 (branch AArch64X29 . 29)
403 (branch AArch64X30 . 30)))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.