From 04e940a7826528ae54fdc00f8fabd691450a3016 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 17 May 2005 15:23:23 +0000 Subject: [PATCH] aded comment --- helm/ocaml/tactics/metadataQuery.mli | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/ocaml/tactics/metadataQuery.mli b/helm/ocaml/tactics/metadataQuery.mli index 1047874d3..475b841f1 100644 --- a/helm/ocaml/tactics/metadataQuery.mli +++ b/helm/ocaml/tactics/metadataQuery.mli @@ -50,6 +50,7 @@ val experimental_hint: val match_term: dbd:Mysql.dbd -> Cic.term -> string list + (** @param string is an uri *) val elim: dbd:Mysql.dbd -> string -> string list val instance: dbd:Mysql.dbd -> Cic.term -> string list -- 2.39.2