32family ReductionSM86Telemetry : Type 0
33constructor ReductionSM86TelemetryValue
34field unrestricted reductionSM86TelemetryPrimitive : (family ReductionSM86Primitive)
35field unrestricted reductionSM86TelemetryExpectedInstructions : Nat
36field unrestricted reductionSM86TelemetryObservedInstructions : Nat
37field unrestricted reductionSM86TelemetryRegisters : Nat
38field unrestricted reductionSM86TelemetrySharedBytes : Nat
39field unrestricted reductionSM86TelemetryRequiredThreads : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.