code: private static Stream<VarValueDef> getValueDefs( JsonObject json)
      {
      return
        json.keySet().stream()
        .map( valueName -> asValueDef( valueName, json.getJsonObject( valueName)));
      }
docs: Returns the value definitions represented by the given JSON object.