109family AdamWF32SM86ImageResult : Type 0
110constructor AdamWF32SM86ImageReady
111field unrestricted adamWF32ImageBytes : Bytes
112field unrestricted adamWF32ImageSHA256 : Bytes
113field unrestricted adamWF32ImageEncodingTelemetry : (family SM86ProgramEncodingTelemetry)
114field unrestricted adamWF32ImageIdentityTelemetry : (family SHA256DigestTelemetry)
115field unrestricted adamWF32ImageTelemetry : (family AdamWF32SM86Telemetry)
116constructor AdamWF32SM86ImageFailed
117field unrestricted adamWF32ImageFailure : (family AdamWF32SM86FailureCode)
118field unrestricted adamWF32ImageFailureOrdinal : Nat
119field unrestricted adamWF32ImageFailureDetail : Bytes
120field unrestricted adamWF32ImageFailureTelemetry : (family AdamWF32SM86Telemetry)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.