Definition jsonComponent (c : componentT) : json :=
  JsonObject [
    ("Name",     JsonString (componentName c));
    ("Type",     jsonComponentType (componentType c));
    ("Semantic", JsonString (componentSemanticDescriptor (componentSemantic c)))
  ].
