X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fmetadata%2FmetadataDeps.mli;h=4def88d9edd132b038d69edb018506440031a846;hb=abdee9194d49a401d15054ae93c7986e4199108e;hp=ee0954d059e0b61fcc4696f483dad64ad09afed3;hpb=e0084c5ce13f5a2ab9622adbcaa5b3b41202d17e;p=helm.git

diff --git a/components/metadata/metadataDeps.mli b/components/metadata/metadataDeps.mli
index ee0954d05..4def88d9e 100644
--- a/components/metadata/metadataDeps.mli
+++ b/components/metadata/metadataDeps.mli
@@ -35,6 +35,12 @@ val inverse_deps:
   dbd:HMysql.dbd ->
   UriManager.uri -> (UriManager.uri * MetadataTypes.position) list
 
+val topological_sort:
+  dbd:HMysql.dbd -> UriManager.uri list -> UriManager.uri list
+
+val sorted_uris_of_baseuri:
+   dbd:HMysql.dbd -> string -> UriManager.uri list
+
   (** Representation of a (lazy) dependency graph.
    * Imperative data structure. *)
 module DepGraph: