def field.double

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

import bendonnect-rpc@0.1.0.0/src/pb.bend as Pb
import Base
import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb

668# `field.K`: omitted when x is the proto3 default (0, 0.0 with zero bits, false, "", empty bytes).
669def field.double(+n: U32, +f: F32) -> List<&1, Pb.Field>:
670  skip.if(U32.is_zero(F32.bits(f)), n, value.double(f))

Uses (8)

Used by (0)

No other definition uses this definition.