Module Utils.DotSource

Types for controling the aspect of .dot output files

Sourcetype graph_style = ..
Sourcetype graph_style +=
  1. | SubGraph
    (*

    Draw graph as a subgraph (to be inserted in an enclosing graph)

    *)
  2. | RankdirUD
    (*

    Draw graph in the Up-down direction

    *)
  3. | RankdirLR
    (*

    Draw graph in the Left-right direction

    *)
Sourcetype node_style = {
  1. node_shape : string;
  2. node_style : string;
}