copyWith method
A copy with the given properties replaced; everything else, unknown keys included, is kept.
Implementation
ServerCapabilitiesTasksRequestsTools copyWith({
Map<String, Object?>? call,
}) =>
ServerCapabilitiesTasksRequestsTools.fromJson({
...toJson(),
if (call != null) 'call': $encode(call),
});