44def bobLossMachineBytes : Bytes =
45 (eliminate
46 SM86ProgramEncodingResult
47 (lambda unrestricted current : (family SM86ProgramEncodingResult) . Bytes)
48 bobLossGradientImage
49 (branch SM86ProgramEncodingSucceeded image telemetry . image)
50 (branch SM86ProgramEncodingFailed ordinal failure telemetry . b""))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.