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