def read.double.fin

bendonnect-rpc@0.1.0.0 · src/pb.bend:442

import Base
import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb

442def read.double.fin(r: Result<&2, &1, String, Pb.Word64>) -> Result<&2, &1, String, F32>:
443  match r:
444    case Fail{e}:
445      Fail{e}
446    case Done{w}:
447      Done{double.of_bits(w)}