1545def sha256Hex =
1546 (lambda unrestricted input : Bytes .
1547 (eliminate
1548 SHA256DigestExecutionResult
1549 (lambda unrestricted current : (family SHA256DigestExecutionResult) .
1550 (family SHA256HexResult))
1551 (sha256DigestExecute input)
1552 (branch
1553 SHA256DigestExecutionSucceeded
1554 digest
1555 telemetry
1556 .
1557 (eliminate
1558 SHA256DigestIdentityResult
1559 (lambda unrestricted current : (family SHA256DigestIdentityResult) .
1560 (family SHA256HexResult))
1561 (sha256DigestIdentity digest)
1562 (branch
1563 SHA256DigestIdentitySucceeded
1564 identity
1565 .
1566 (eliminate
1567 SHA256DigestIdentity
1568 (lambda unrestricted current : (family SHA256DigestIdentity) .
1569 (family SHA256HexResult))
1570 identity
1571 (branch
1572 SHA256DigestIdentityValue
1573 binary
1574 .
1575 (constructor
1576 SHA256HexResult
1577 SHA256HexSucceeded
1578 (sha256DigestToHex binary)
1579 telemetry))))
1580 (branch
1581 SHA256DigestIdentityFailed
1582 error
1583 .
1584 (constructor
1585 SHA256HexResult
1586 SHA256HexFailed
1587 error
1588 (sha256DigestTelemetryBlockCount telemetry)
1589 telemetry))))
1590 (branch
1591 SHA256DigestExecutionFailed
1592 error
1593 ordinal
1594 telemetry
1595 .
1596 (constructor SHA256HexResult SHA256HexFailed error ordinal telemetry))))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.