Runtime.TelemetryDrainRoutine

46family TelemetryDrainBackend : Type 0
47parameter erased A : Type 0
48parameter erased R : Type 0
49constructor TelemetryDrainBackendValue
50field unrestricted backendDrainSet : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
51field unrestricted backendDrainMove : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
52field unrestricted backendDrainLoad : (pi unrestricted destination : R . (pi unrestricted base : R . (pi unrestricted offset : Nat . (pi unrestricted tail : A . A))))
53field unrestricted backendDrainStore64 : (pi unrestricted base : R . (pi unrestricted offset : Nat . (pi unrestricted value : R . (pi unrestricted tail : A . A))))
54field unrestricted backendDrainStore8 : (pi unrestricted base : R . (pi unrestricted offset : Nat . (pi unrestricted value : R . (pi unrestricted tail : A . A))))
55field unrestricted backendDrainCompareImmediate : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
56field unrestricted backendDrainCompare : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
57field unrestricted backendDrainSubtract : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
58field unrestricted backendDrainAdd : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
59field unrestricted backendDrainAddImmediate : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
60field unrestricted backendDrainMultiplyImmediate : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
61field unrestricted backendDrainDivide : (pi unrestricted divisor : R . (pi unrestricted tail : A . A))
62field unrestricted backendDrainJumpIf : (pi unrestricted condition : (family TelemetryDrainCondition) . (pi unrestricted name : Bytes . (pi unrestricted tail : A . A)))
63field unrestricted backendDrainJump : (pi unrestricted name : Bytes . (pi unrestricted tail : A . A))
64field unrestricted backendDrainLabel : (pi unrestricted name : Bytes . (pi unrestricted tail : A . A))
65field unrestricted backendDrainReturn : (pi unrestricted tail : A . A)
66field unrestricted backendDrainEnd : A
67field unrestricted backendDrainResult : R
68field unrestricted backendDrainArgument0 : R
69field unrestricted backendDrainArgument1 : R
70field unrestricted backendDrainArgument2 : R
71field unrestricted backendDrainArgument3 : R
72field unrestricted backendDrainArgument4 : R
73field unrestricted backendDrainArgument5 : R
74field unrestricted backendDrainScratch0 : R
75field unrestricted backendDrainScratch1 : R