Module Graph_json

module Graph_json: sig .. end
* graph_js.ml * * a module for KaSim * Jérôme Feret, projet Antique, INRIA Paris * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 23/05/2016 * Last modification: 25/05/2016 * * * * * Copyright 2016 Institut National de Recherche en Informatique et * en Automatique. All rights reserved. This file is distributed * under the terms of the GNU Library General Public License

val to_json : Graph_loggers_sig.graph -> Yojson.Basic.json
val of_json : Yojson.Basic.json -> Graph_loggers_sig.graph