]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/metadata/metadataDeps.mli
refactoring
[helm.git] / helm / software / components / metadata / metadataDeps.mli
index f5a6ac22e13171d3d91403ec633419297dfe614d..4def88d9edd132b038d69edb018506440031a846 100644 (file)
@@ -38,6 +38,9 @@ val inverse_deps:
 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: