def rep.pack
import bendonnect-rpc@0.1.0.0/src/pb.bend as Pbimport Base
import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb
736def rep.pack(~T: Data, ~val: @+x: T -> Pb.Value, +n: U32, xs: List<&2, T>) -> List<&1, Pb.Field>:
737 match xs:
738 case Nil{}:
739 Nil{}
740 case Con{h, t}:
741 rep.pack.go(~T, ~val, n, Con{h, t})