* @param graph_attrs graph attributes
* @param node_attrs graph-wide node attributes
* @param edge_attrs graph-wide edge attributes *)
val header:
* @param graph_attrs graph attributes
* @param node_attrs graph-wide node attributes
* @param edge_attrs graph-wide edge attributes *)
val header: