32family TelemetryIdentityBackend : Type 0
33parameter erased A : Type 0
34parameter erased R : Type 0
35constructor TelemetryIdentityBackendValue
36field unrestricted backendIdentityLoad : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
37field unrestricted backendIdentityOr : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : A . A)))
38field unrestricted backendIdentityCompare : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
39field unrestricted backendIdentityMove : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : A . A)))
40field unrestricted backendIdentitySet : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
41field unrestricted backendIdentityAddImmediate : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
42field unrestricted backendIdentityReturn : (pi unrestricted a0 : Nat . (pi unrestricted a1 : A . A))
43field unrestricted backendIdentityLabel : (pi unrestricted a0 : Bytes . (pi unrestricted a1 : A . A))
44field unrestricted backendIdentityJumpIf : (pi unrestricted a0 : (family TelemetryIdentityCondition) . (pi unrestricted a1 : Bytes . (pi unrestricted a2 : A . A)))
45field unrestricted backendIdentityAcquireEntropy : (pi unrestricted a0 : A . A)
46field unrestricted backendIdentityEnd : A
47field unrestricted backendIdentityResult : R
48field unrestricted backendIdentityReceiptOrWord : R
49field unrestricted backendIdentityVersionOrFlags : R
50field unrestricted backendIdentityExtent : R
51field unrestricted backendIdentityDestination : R
52field unrestricted backendIdentitySavedDestination : RThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.