Definition metadataToJsonString (m: metadataT) : string :=
  jsonSerializeString (jsonMetadata m).
