| 371 | } |
| 372 | |
| 373 | static expr make_function_ref(std::string name, std::vector<expr> args) |
| 374 | { |
| 375 | return expr(function_ref_expr(std::move(name), std::move(args))); |
| 376 | } |
| 377 | |
| 378 | static expr make_function_ref(std::string name, std::vector<std::pair<expr, expr>> arg_pairs) |
| 379 | { |
nothing calls this directly
no test coverage detected