val providesValue : providers * string -> string option
(* Look up which file defines a symbol *)
- val order : string list -> providers * string list
+ val order : Env.env option -> string list -> providers * string list
+ (* The first argument gives an environment of known symbols *)
end