Definition jsonStructure (s : structureT) : json :=
  JsonObject [
    ("Components", jsonComponents (structureComponents s))
  ].
