1658def greedyArgmaxSM86TelemetryFor =
1659 (lambda unrestricted manifest : (family GreedyArgmaxSM86Manifest) .
1660 (lambda unrestricted observedInstructions : Nat .
1661 (lambda unrestricted observedBytes : Nat .
1662 (lambda unrestricted fields : Nat .
1663 (lambda unrestricted bits : Nat .
1664 (lambda unrestricted highest : Nat .
1665 (lambda unrestricted identityInput : Nat .
1666 (lambda unrestricted identityOutput : Nat .
1667 (constructor
1668 GreedyArgmaxSM86Telemetry
1669 GreedyArgmaxSM86TelemetryValue
1670 (constructor GreedyArgmaxSM86ExecutionContract GreedyArgmaxSM86NativeOnly)
1671 manifest
1672 observedInstructions
1673 observedBytes
1674 fields
1675 bits
1676 highest
1677 identityInput
1678 identityOutput
1679 greedyArgmaxSM86N1
1680 greedyArgmaxSM86N1
1681 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.