def word64.eq

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

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

65def word64.eq(a: Pb.Word64, b: Pb.Word64) -> Bool:
66  Pb.Word64{ah, al} = a
67  Pb.Word64{bh, bl} = b
68  U32.is_eq(ah, bh) && U32.is_eq(al, bl)

Uses (4)

Used by (0)

No other definition uses this definition.