Runtime.TelemetryCaptureRoutine

25family TelemetryCaptureBackend : Type 0
26parameter erased A : Type 0
27parameter erased R : Type 0
28constructor TelemetryCaptureBackendValue
29field unrestricted backendCaptureLoad : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : Nat . (pi unrestricted a3 : A . A))))
30field unrestricted backendCaptureStore : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : R . (pi unrestricted a3 : A . A))))
31field unrestricted backendCaptureMove : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : A . A)))
32field unrestricted backendCaptureAdd : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : A . A)))
33field unrestricted backendCaptureCompare : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : A . A)))
34field unrestricted backendCaptureCompareImmediate : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
35field unrestricted backendCaptureCompareMaximum : (pi unrestricted a0 : R . (pi unrestricted a1 : A . A))
36field unrestricted backendCaptureSet : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
37field unrestricted backendCaptureIncrement : (pi unrestricted a0 : R . (pi unrestricted a1 : A . A))
38field unrestricted backendCaptureScale : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
39field unrestricted backendCaptureProduct : (pi unrestricted a0 : A . A)
40field unrestricted backendCaptureReturnCode : (pi unrestricted a0 : Nat . (pi unrestricted a1 : A . A))
41field unrestricted backendCaptureLabel : (pi unrestricted a0 : Bytes . (pi unrestricted a1 : A . A))
42field unrestricted backendCaptureJump : (pi unrestricted a0 : Bytes . (pi unrestricted a1 : A . A))
43field unrestricted backendCaptureJumpIf : (pi unrestricted a0 : (family TelemetryCaptureCondition) . (pi unrestricted a1 : Bytes . (pi unrestricted a2 : A . A)))
44field unrestricted backendCaptureEnd : A
45field unrestricted backendCaptureProductLow : R
46field unrestricted backendCaptureSelected : R
47field unrestricted backendCaptureValuesOrOverflow : R
48field unrestricted backendCaptureQueue : R
49field unrestricted backendCaptureControl : R
50field unrestricted backendCaptureReserved : R
51field unrestricted backendCaptureQueueExtent : R
52field unrestricted backendCapturePosition : R
53field unrestricted backendCaptureSavedValues : R