37                                                const std::vector<std::unique_ptr<Expr>>& argv,  in ReadStringArgs()  argument
39   if (argv.size() != arg_names.size()) {  in ReadStringArgs()
41                arg_names.size(), argv.size());  in ReadStringArgs()
46   if (!ReadValueArgs(state, argv, &args)) {  in ReadStringArgs()
67                         const std::vector<std::unique_ptr<Expr>>& argv) {  in UnmapPartitionFn()  argument
68   auto args = ReadStringArgs(name, state, argv, { "name" });  in UnmapPartitionFn()
77                       const std::vector<std::unique_ptr<Expr>>& argv) {  in MapPartitionFn()  argument
78   auto args = ReadStringArgs(name, state, argv, { "name" });  in MapPartitionFn()
90                                  const std::vector<std::unique_ptr<Expr>>& argv) {  in UpdateDynamicPartitionsFn()  argument
91   if (argv.size() != 1) {  in UpdateDynamicPartitionsFn()
92     ErrorAbort(state, kArgsParsingFailure, "%s expects 1 arguments, got %zu", name, argv.size());  in UpdateDynamicPartitionsFn()
96   if (!ReadValueArgs(state, argv, &args)) {  in UpdateDynamicPartitionsFn()