Runtime.TelemetrySeal

26family TelemetrySealBackend : Type 0
27parameter erased sealBackendAssembly : Type 0
28parameter erased sealBackendRegister : Type 0
29constructor TelemetrySealBackendValue
30field unrestricted backendSealLoad32 : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : sealBackendRegister . (pi unrestricted a2 : Nat . (pi unrestricted a3 : sealBackendAssembly . sealBackendAssembly))))
31field unrestricted backendSealLoad64 : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : sealBackendRegister . (pi unrestricted a2 : Nat . (pi unrestricted a3 : sealBackendAssembly . sealBackendAssembly))))
32field unrestricted backendSealLoad8 : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : sealBackendRegister . (pi unrestricted a2 : Nat . (pi unrestricted a3 : sealBackendAssembly . sealBackendAssembly))))
33field unrestricted backendSealStore32 : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendRegister . (pi unrestricted a3 : sealBackendAssembly . sealBackendAssembly))))
34field unrestricted backendSealStore64 : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendRegister . (pi unrestricted a3 : sealBackendAssembly . sealBackendAssembly))))
35field unrestricted backendSealStore8 : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendRegister . (pi unrestricted a3 : sealBackendAssembly . sealBackendAssembly))))
36field unrestricted backendSealMov : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : sealBackendRegister . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
37field unrestricted backendSealAdd : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : sealBackendRegister . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
38field unrestricted backendSealAnd : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : sealBackendRegister . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
39field unrestricted backendSealOr : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : sealBackendRegister . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
40field unrestricted backendSealXor : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : sealBackendRegister . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
41field unrestricted backendSealShl : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
42field unrestricted backendSealShr : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
43field unrestricted backendSealMovImm : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
44field unrestricted backendSealAddImm : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
45field unrestricted backendSealAndImm : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
46field unrestricted backendSealCmpImm : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
47field unrestricted backendSealMulImm : (pi unrestricted a0 : sealBackendRegister . (pi unrestricted a1 : Nat . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
48field unrestricted backendSealLabel : (pi unrestricted a0 : Bytes . (pi unrestricted a1 : sealBackendAssembly . sealBackendAssembly))
49field unrestricted backendSealJumpIf : (pi unrestricted a0 : (family TelemetrySealCondition) . (pi unrestricted a1 : Bytes . (pi unrestricted a2 : sealBackendAssembly . sealBackendAssembly)))
50field unrestricted backendSealReturn : (pi unrestricted a0 : sealBackendAssembly . sealBackendAssembly)
51field unrestricted backendSealEnd : sealBackendAssembly
52field unrestricted backendSealRAX : sealBackendRegister
53field unrestricted backendSealRBX : sealBackendRegister
54field unrestricted backendSealRCX : sealBackendRegister
55field unrestricted backendSealRDX : sealBackendRegister
56field unrestricted backendSealRSI : sealBackendRegister
57field unrestricted backendSealRDI : sealBackendRegister
58field unrestricted backendSealRBP : sealBackendRegister
59field unrestricted backendSealR8 : sealBackendRegister
60field unrestricted backendSealR9 : sealBackendRegister
61field unrestricted backendSealR10 : sealBackendRegister
62field unrestricted backendSealR11 : sealBackendRegister
63field unrestricted backendSealR12 : sealBackendRegister
64field unrestricted backendSealR13 : sealBackendRegister
65field unrestricted backendSealR14 : sealBackendRegister
66field unrestricted backendSealR15 : sealBackendRegister