Function jsonFromStringList

source/core/StarJsonExtra.cpp:300–305

}

Json jsonFromStringList(List<String> const& v) {
  JsonArray result;
  for (auto& e : v)
    result.push_back(e);
  return result;
}

List<float> jsonToFloatList(Json const& v) {
  List<float> result;