63                                                const std::vector<std::unique_ptr<Expr>>& argv,  in ReadStringArgs()  argument
65   if (argv.size() != arg_names.size()) {  in ReadStringArgs()
67                arg_names.size(), argv.size());  in ReadStringArgs()
72   if (!ReadValueArgs(state, argv, &args)) {  in ReadStringArgs()
121                         const std::vector<std::unique_ptr<Expr>>& argv) {  in UnmapPartitionFn()  argument
122   auto args = ReadStringArgs(name, state, argv, { "name" });  in UnmapPartitionFn()
129                       const std::vector<std::unique_ptr<Expr>>& argv) {  in MapPartitionFn()  argument
130   auto args = ReadStringArgs(name, state, argv, { "name" });  in MapPartitionFn()
337                                  const std::vector<std::unique_ptr<Expr>>& argv) {  in UpdateDynamicPartitionsFn()  argument
338   if (argv.size() != 1) {  in UpdateDynamicPartitionsFn()
339     ErrorAbort(state, kArgsParsingFailure, "%s expects 1 arguments, got %zu", name, argv.size());  in UpdateDynamicPartitionsFn()
343   if (!ReadValueArgs(state, argv, &args)) {  in UpdateDynamicPartitionsFn()