X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FgraphvizPp.mli;h=79037df7283cc717d8282d465db3f17c56980d75;hb=438a29376390222b94c1fe9772917c3aad50d42e;hp=a10831dca7f959d2454973bed2e097ac7d77ec2d;hpb=22df969cb0629a8d6ea09534386279807ff02f1c;p=helm.git

diff --git a/helm/software/components/extlib/graphvizPp.mli b/helm/software/components/extlib/graphvizPp.mli
index a10831dca..79037df72 100644
--- a/helm/software/components/extlib/graphvizPp.mli
+++ b/helm/software/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 ->