name_w_args_render¶

hugr.utils.name_w_args_render(name: str, args: Iterable[TypeArg], *, extension_version: bool = False, qualified_name: bool = False) → str[source]¶: Format a type name with recursively rendered type arguments.