Encodes a value to JSON-compatible Dart objects.
@override String encode(ToolKind value) => value.toJson();