description method

String description(
  1. String tool
)

The doc comment of tool, as the agent got it. Throws a StateError for a tool this listing does not list.

Implementation

String description(String tool) => switch (_tools[tool]) {
  final listed? => listed.description,
  null => throw StateError('This listing does not list $tool.'),
};