MACHINE LibraryJSON
/* This Library Machine provides a convenient access to JSON data
   converted by ProB's external function READ_JSON
   from LibraryJSON.def.

   Usage: SEES LibraryJSON
*/
DEFINITIONS
  "LibraryJSON.def"
// TODO: find a way to include this freetype definition in the .def file
FREETYPES
  JsonValue = JsonNull,
              JsonBoolean(BOOL),
              JsonNumber(FLOAT),
              JsonString(STRING),
              JsonArray(seq(JsonValue)),
              JsonObject(STRING +-> JsonValue)
END
