module type ATTRIBUTES =sig..end
ATTRIBUTES module type defines the interface for the engines.type graph
type vertex
type edge
type subgraph = {
|
sg_name : |
(* |
Box name.
| *) |
|
sg_attributes : |
(* |
Box attributes.
| *) |
|
sg_parent : |
(* |
Nested subgraphs.
| *) |