X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql%2FmQueryUtil.mli;h=635fb660f5c52410b0bebe626a524c2e072b5851;hb=da16c76907f567b9aa4d3d026f6ab309006b3d86;hp=9881b3b545b0b8d762cf657dd43f481f43d7e70c;hpb=ba824e867afc3eaf081ed1a1d6526d421242a6a0;p=helm.git diff --git a/helm/ocaml/mathql/mQueryUtil.mli b/helm/ocaml/mathql/mQueryUtil.mli index 9881b3b54..635fb660f 100644 --- a/helm/ocaml/mathql/mQueryUtil.mli +++ b/helm/ocaml/mathql/mQueryUtil.mli @@ -23,27 +23,25 @@ * http://cs.unibo.it/helm/. *) -(******************************************************************************) -(* *) -(* PROJECT HELM *) -(* *) -(* Ferruccio Guidi *) -(* 30/04/2002 *) -(* *) -(* *) -(******************************************************************************) +(* AUTOR: Ferruccio Guidi + *) +type time -val text_of_query : MathQL.query -> string +val start_time : unit -> time -val text_of_result : MathQL.result -> string -> string +val stop_time : time -> string -val query_of_text : Lexing.lexbuf -> MathQL.query +type 'a comparison = Lt + | Gt + | Eq of 'a -val result_of_text : Lexing.lexbuf -> MathQL.result +val list_join : ('a -> 'a -> 'a comparison) -> 'a list -> 'a list -> 'a list +val list_meet : ('a -> 'a -> 'a comparison) -> 'a list -> 'a list -> 'a list -type uriref = UriManager.uri * (int list) +val flat_list : ('a -> unit) -> ('b -> unit) -> 'a -> 'b list -> unit -val string_of_uriref : uriref -> string +val add_assoc : 'a * 'b -> ('a * 'b) list -> ('a * 'b) list +val int_of_string : string -> int