X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/095de39e1be653dcb6438d19c719bd7797e0772a..3196000d8e29e14665f43ffd74460b2e6d592250:/src/order.sig

diff --git a/src/order.sig b/src/order.sig
index 10621dd..f33941a 100644
--- a/src/order.sig
+++ b/src/order.sig
@@ -20,6 +20,13 @@
 
 signature ORDER = sig
 
-    val order : string list -> string list
+    type providers
+    (* Information on which files define which symbols *)
+    val providesContext : providers * string -> string option
+    val providesType : providers * string -> string option
+    val providesValue : providers * string -> string option
+    (* Look up which file defines a symbol *)
+
+    val order : string list -> providers * string list
 
 end