* http://cs.unibo.it/helm/.
*)
+(* NOTE. Discharged variables are not well formed. *)
+(* For internal recursive use only. *)
+
(* discharges the explicit variables of the given object (with sharing) *)
(* the first argument is a map for relacating the names of the objects *)
(* the second argument is a map for relocating the uris of the dependencdes *)
val discharge_uri:
(string -> string) -> (UriManager.uri -> UriManager.uri) ->
UriManager.uri -> Cic.obj * bool
+
+(* if activated prints the received object before and after discharging *)
+val debug: bool ref