Runtime.TelemetryRecordRoutine

23family TelemetryRecordBackend : Type 0
24parameter erased A : Type 0
25parameter erased R : Type 0
26constructor TelemetryRecordBackendValue
27field unrestricted backendRecordLoad64 : (pi unrestricted destination : R . (pi unrestricted base : R . (pi unrestricted offset : Nat . (pi unrestricted tail : A . A))))
28field unrestricted backendRecordOr : (pi unrestricted left : R . (pi unrestricted right : R . (pi unrestricted tail : A . A)))
29field unrestricted backendRecordCompareImmediate : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
30field unrestricted backendRecordJumpZero : (pi unrestricted name : Bytes . (pi unrestricted tail : A . A))
31field unrestricted backendRecordJumpBelow : (pi unrestricted name : Bytes . (pi unrestricted tail : A . A))
32field unrestricted backendRecordSet : (pi unrestricted register : R . (pi unrestricted value : Nat . (pi unrestricted tail : A . A)))
33field unrestricted backendRecordLabel : (pi unrestricted name : Bytes . (pi unrestricted tail : A . A))
34field unrestricted backendRecordReturn : (pi unrestricted tail : A . A)
35field unrestricted backendRecordEnd : A
36field unrestricted backendRecordResult : R
37field unrestricted backendRecordScratch : R
38field unrestricted backendRecordSource : R
39field unrestricted backendRecordIdentities : R
40field unrestricted backendRecordSourceExtent : R
41field unrestricted backendRecordIdentityExtent : R
42field unrestricted backendRecordOutputExtent : R