BIG FAT COMMIT REGARDING COERCIONS:

[helm.git] / components / extlib / graphvizPp.mli

diff --git a/components/extlib/graphvizPp.mli b/components/extlib/graphvizPp.mli
index a10831dca7f959d2454973bed2e097ac7d77ec2d..79037df7283cc717d8282d465db3f17c56980d75 100644 (file)
--- a/components/extlib/graphvizPp.mli
+++ b/components/extlib/graphvizPp.mli
@@ -32,10 +32,13 @@ type attribute = string * string  (* <key, value> pair *)
 module type GraphvizFormatter =
   sig
     (** @param name graph name
+     * @param graph_type type of dot graph, default value "digraph"
+     *        interesting options: "strict digraph"
      * @param graph_attrs graph attributes
      * @param node_attrs graph-wide node attributes
      * @param edge_attrs graph-wide edge attributes *)
     val header:
+      ?graph_type:string -> 
       ?name:string -> ?graph_attrs:(attribute list) ->
       ?node_attrs:(attribute list) -> ?edge_attrs:(attribute list) ->
       Format.formatter ->