*)
val clean_baseuris : ?verbose:bool -> string list -> unit
-val baseuri_of_file : string -> string
-
-val baseuri_of_baseuri_decl : ('a, 'b, 'c) TacticAst.statement -> string option
-
- (** check whether no objects are defined below a given baseuri *)
-val is_empty: string -> bool
-