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