| 29 | CheckerLibrary SetsCheckerLibrary(); |
| 30 | |
| 31 | inline CompilerLibrary SetsCompilerLibrary() { |
| 32 | return CompilerLibrary::FromCheckerLibrary(SetsCheckerLibrary()); |
| 33 | } |
| 34 | |
| 35 | // Register set functions. |
| 36 | absl::Status RegisterSetsFunctions(FunctionRegistry& registry, |