module type ATTRIBUTES =Thesig..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. | *) |