Uses of Record Class
com.github.copilot.generated.rpc.Tool

Packages that use Tool

Package	Description
com.github.copilot.generated.rpc

Uses of Tool in com.github.copilot.generated.rpc

Methods in com.github.copilot.generated.rpc that return types with arguments of type Tool

Modifier and Type	Method	Description
List<Tool>	ToolsListResult.tools()	Returns the value of the tools record component.

Constructor parameters in com.github.copilot.generated.rpc with type arguments of type Tool

Modifier	Constructor	Description
	ToolsListResult(List<Tool> tools)	Creates an instance of a ToolsListResult record class.