Converts the user operation to a JSON-encoded string.
@override String toJson() => json.encode(toMap());