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=53d612e822ae60fd0fb5ba7aa6983dcd9657ee6d;hpb=91db309a46f8b6f100a36abbc568deec10a8d1df;p=helm.git diff --git a/helm/ocaml/mathql/mQueryUtil.mli b/helm/ocaml/mathql/mQueryUtil.mli index 53d612e82..635fb660f 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,16 @@ 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 + +val flat_list : ('a -> unit) -> ('b -> unit) -> 'a -> 'b list -> unit -type uriref = UriManager.uri * (int list) +val add_assoc : 'a * 'b -> ('a * 'b) list -> ('a * 'b) list -val string_of_uriref : uriref -> string +val int_of_string : string -> int