Pb.rep.pack.go: def of bendonnect-rpc@0.1.0.0 Import: import bendonnect-rpc@0.1.0.0/src/pb.bend as Pb Lines 733-734 of bendonnect-rpc@0.1.0.0/src/pb.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/pb.bend&start_line=733&end_line=734 import Base import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb def rep.pack.go(~T: Data, ~val: @+x: T -> Pb.Value, +n: U32, xs: List<&2, T>) -> List<&1, Pb.Field>: rep.pack.fin(n, Pb.packed_encode(rep.map(~T, ~val, xs), max_size())) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Field https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Value https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_encode https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/pb.bend&name=max_size https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/pb.bend&name=rep.map https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/pb.bend&name=rep.pack.fin