1414def aarch64AppendResults =
1415 (lambda unrestricted head : (family AArch64EncodeResult) .
1416 (lambda unrestricted tail : (family AArch64EncodeResult) .
1417 (eliminate
1418 AArch64EncodeResult
1419 (lambda unrestricted current : (family AArch64EncodeResult) . (family AArch64EncodeResult))
1420 head
1421 (branch
1422 AArch64Encoded
1423 headBytes
1424 .
1425 (eliminate
1426 AArch64EncodeResult
1427 (lambda unrestricted current : (family AArch64EncodeResult) .
1428 (family AArch64EncodeResult))
1429 tail
1430 (branch
1431 AArch64Encoded
1432 tailBytes
1433 .
1434 (constructor AArch64EncodeResult AArch64Encoded (bytes-append headBytes tailBytes)))
1435 (branch
1436 AArch64ImmediateOutOfRange
1437 value
1438 .
1439 (constructor AArch64EncodeResult AArch64ImmediateOutOfRange value))
1440 (branch
1441 AArch64MisalignedOffset
1442 value
1443 .
1444 (constructor AArch64EncodeResult AArch64MisalignedOffset value))
1445 (branch
1446 AArch64DisplacementOutOfRange
1447 value
1448 .
1449 (constructor AArch64EncodeResult AArch64DisplacementOutOfRange value))))
1450 (branch
1451 AArch64ImmediateOutOfRange
1452 value
1453 .
1454 (constructor AArch64EncodeResult AArch64ImmediateOutOfRange value))
1455 (branch
1456 AArch64MisalignedOffset
1457 value
1458 .
1459 (constructor AArch64EncodeResult AArch64MisalignedOffset value))
1460 (branch
1461 AArch64DisplacementOutOfRange
1462 value
1463 .
1464 (constructor AArch64EncodeResult AArch64DisplacementOutOfRange value)))))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.