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),
    });