Searched defs:tool_options (Results 1 – 2 of 2) sorted by relevance
68 ToolOptions tool_options = ToolOptionsFromPythonDict(options); in PYBIND11_MODULE() local113 ToolOptions tool_options = ToolOptionsFromPythonDict(options); in PYBIND11_MODULE() local164 ToolOptions tool_options = ToolOptionsFromPythonDict(options); in PYBIND11_MODULE() local
46 map<string, ToolRequestOptions> tool_options = 8; field