sig type graph type vertex type edge type subgraph = { sg_name : string; sg_attributes : Graphviz.ATTRIBUTES.vertex list; sg_parent : string option; } end