def read64.hi

bend-kit-protobuf@0.2.0.0 · protobuf.bend:61

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as B

61def read64.hi(l: U32, r: B.Cursor & U32) -> Result<&2, &1, Error, B.Cursor & Word64>:
62  (c, h) = r
63  Done{(c, Word64{h, l})}