Tool definition: {"type": "function", "function": {"name": "inform", "description": "Correctly extracted `inform` with all the required parameters with correct types", "parameters": {"properties": {"name": {"title": "Name", "type": "string"}, "release_year": {"title": "Release Year", "type": "integer"}, "genres": {"items": {"type": "string"}, "title": "Genres", "type": "array"}, "platforms": {"items": {"type": "string"}, "title": "Platforms", "type": "array"}, "available_on_steam": {"title": "Available On Steam", "type": "boolean"}, "has_linux_release": {"title": "Has Linux Release", "type": "boolean"}, "has_mac_release": {"title": "Has Mac Release", "type": "boolean"}}, "required": ["available_on_steam", "genres", "has_linux_release", "has_mac_release", "name", "platforms", "release_year"], "type": "object"}}}
Input: TrackMania Turbo is an arcade racing game released in 2016 on the PlayStation, Xbox, and PC, though it isn't available on the Linux or Mac processors. It is available for download on Steam.
Function call: {"name": "inform", "arguments": {"name": "TrackMania Turbo", "release_year": 2016, "genres": ["arcade", "driving/racing"], "platforms": ["PlayStation", "Xbox", "PC"], "available_on_steam": true, "has_linux_release": false, "has_mac_release": false}}