toJson method

Map<String, dynamic> toJson()

Serialize to a JSON-encodable map, omitting absent members.

Implementation

Map<String, dynamic> toJson() => <String, dynamic>{
      'target': target.toJson(),
      'd': d,
      'proof': proof.toJson(),
    };