X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql%2FmQueryUtil.mli;h=fbfb3f793f8e5f33fc5b39e0b3567b00b650f928;hb=605740107642920d90d0c88544d576d7836a1a25;hp=53d612e822ae60fd0fb5ba7aa6983dcd9657ee6d;hpb=91db309a46f8b6f100a36abbc568deec10a8d1df;p=helm.git diff --git a/helm/ocaml/mathql/mQueryUtil.mli b/helm/ocaml/mathql/mQueryUtil.mli index 53d612e82..fbfb3f793 100644 --- a/helm/ocaml/mathql/mQueryUtil.mli +++ b/helm/ocaml/mathql/mQueryUtil.mli @@ -23,24 +23,8 @@ * http://cs.unibo.it/helm/. *) -(******************************************************************************) -(* *) -(* PROJECT HELM *) -(* *) -(* Ferruccio Guidi *) -(* 30/04/2002 *) -(* *) -(* *) -(******************************************************************************) - - -val text_of_query : (string -> unit) -> MathQL.query -> string -> unit - -val text_of_result : (string -> unit) -> MathQL.result -> string -> unit - -val query_of_text : Lexing.lexbuf -> MathQL.query - -val result_of_text : Lexing.lexbuf -> MathQL.result +(* AUTOR: Ferruccio Guidi + *) type time @@ -48,7 +32,14 @@ val start_time : unit -> time val stop_time : time -> string +type 'a comparison = Lt + | Gt + | Eq of 'a + +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