Multi-configuration support
[hcoop/domtool2.git] / src / order.sig
index 10621dd..a94d17a 100644 (file)
 
 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 : Env.env option -> string list -> providers * string list
+    (* The first argument gives an environment of known symbols *)
 
 end