inspect view does not know how to render tool calls with arguments of type dict[str, str]

[JasonGross]

I see

tool: transpilation_tool(lean_code: "def plus_0_r_statement := ∀ n : Nat, n + 0 = n def plus_comm_statement := ∀ a b : Nat, a + b = b + a",coq_lean_identifiers: [object Object])

The inner tool is defined with async def translate(lean_code: str, coq_lean_identifiers: dict[str, str])