def rep.each
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
743def rep.each(~T: Data, ~val: @+x: T -> Pb.Value, +n: U32, xs: List<&2, T>) -> List<&1, Pb.Field>:
744 match xs:
745 case Nil{}:
746 Nil{}
747 case Con{h, t}:
748 Pb.Field{n, val(h)} <> rep.each(~T, ~val, n, t)