val clean_baseuris : 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
+