GraphJSON

type GraphJSON = dia.Graph.JSON;

The shape of the graph's JSON export, as produced by graph.toJSON().