module type ATTRIBUTES =sig
..end
The ATTRIBUTES
module type defines the interface for the engines.
type
graph
Attributes of graphs.
type
vertex
Attributes of vertices.
type
edge
Attributes of edges.
type
subgraph = {
|
sg_name : |
(* | Box name. | *) |
|
sg_attributes : |
(* | Box attributes. | *) |
|
sg_parent : |
(* | Nested subgraphs. | *) |
Attributes of (optional) boxes around vertices.