Runtime.TelemetryPublicationRoutine

42family TelemetryPublicationBackend : Type 0
43parameter erased A : Type 0
44parameter erased R : Type 0
45constructor TelemetryPublicationBackendValue
46field unrestricted backendPubSet : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
47field unrestricted backendPubMove : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
48field unrestricted backendPubLoad64 : (pi unrestricted destination : R . (pi unrestricted base : R . (pi unrestricted offset : Nat . (pi unrestricted tail : A . A))))
49field unrestricted backendPubStore64 : (pi unrestricted base : R . (pi unrestricted offset : Nat . (pi unrestricted value : R . (pi unrestricted tail : A . A))))
50field unrestricted backendPubStore8 : (pi unrestricted base : R . (pi unrestricted offset : Nat . (pi unrestricted value : R . (pi unrestricted tail : A . A))))
51field unrestricted backendPubCompareImmediate : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
52field unrestricted backendPubCompare : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
53field unrestricted backendPubSubtract : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
54field unrestricted backendPubOr : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
55field unrestricted backendPubAdd : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
56field unrestricted backendPubAddImmediate : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
57field unrestricted backendPubMultiplyImmediate : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
58field unrestricted backendPubShiftRight : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
59field unrestricted backendPubJumpIf : (pi unrestricted condition : (family TelemetryPublicationCondition) . (pi unrestricted name : Bytes . (pi unrestricted tail : A . A)))
60field unrestricted backendPubJump : (pi unrestricted name : Bytes . (pi unrestricted tail : A . A))
61field unrestricted backendPubLabel : (pi unrestricted name : Bytes . (pi unrestricted tail : A . A))
62field unrestricted backendPubReturn : (pi unrestricted tail : A . A)
63field unrestricted backendPubWrite : (pi unrestricted tail : A . A)
64field unrestricted backendPubSync : (pi unrestricted tail : A . A)
65field unrestricted backendPubEnd : A
66field unrestricted backendPubResult : R
67field unrestricted backendPubArgument0 : R
68field unrestricted backendPubArgument1 : R
69field unrestricted backendPubArgument2 : R
70field unrestricted backendPubArgument3 : R
71field unrestricted backendPubArgument4 : R
72field unrestricted backendPubArgument5 : R
73field unrestricted backendPubScratch0 : R
74field unrestricted backendPubScratch1 : R
75field unrestricted backendPubPersistent0 : R
76field unrestricted backendPubPersistent1 : R
77field unrestricted backendPubPersistent2 : R
78field unrestricted backendPubPersistent3 : R