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