]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/metadataTypes.mli
at_least now supports the ownerized tables
[helm.git] / helm / ocaml / metadata / metadataTypes.mli
index c471d167a48014c6cad61a58ba63e28091d80dd0..b20c8ce147dca4eabab50f7f473ac477eb00448e 100644 (file)
@@ -60,6 +60,7 @@ val constr_of_metadata: metadata -> constr
   (** invoke this function to set the current owner. Afterwards the functions
   * below will return the name of the table of the set owner *)
 val ownerize_tables : string -> unit
+val are_tables_ownerized : unit -> bool
 
 val sort_tbl: unit -> string  
 val rel_tbl: unit -> string