1651def greedyArgmaxSM86TelemetryFor =
1652 (lambda unrestricted manifest : (family GreedyArgmaxSM86Manifest) .
1653 (lambda unrestricted observedInstructions : Nat .
1654 (lambda unrestricted observedBytes : Nat .
1655 (lambda unrestricted fields : Nat .
1656 (lambda unrestricted bits : Nat .
1657 (lambda unrestricted highest : Nat .
1658 (lambda unrestricted identityInput : Nat .
1659 (lambda unrestricted identityOutput : Nat .
1660 (constructor
1661 GreedyArgmaxSM86Telemetry
1662 GreedyArgmaxSM86TelemetryValue
1663 (constructor GreedyArgmaxSM86ExecutionContract GreedyArgmaxSM86NativeOnly)
1664 manifest
1665 observedInstructions
1666 observedBytes
1667 fields
1668 bits
1669 highest
1670 identityInput
1671 identityOutput
1672 greedyArgmaxSM86N1
1673 greedyArgmaxSM86N1
1674 greedyArgmaxSM86HostFallbackOperations)))))))))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.