Function jsonFromStringSet

source/core/StarJsonExtra.cpp:321–326

}

Json jsonFromStringSet(StringSet const& v) {
  JsonArray result;
  for (auto& e : v)
    result.push_back(e);
  return result;
}

List<int> jsonToIntList(Json const& v) {
  List<int> result;