X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryUtil.mli;h=635fb660f5c52410b0bebe626a524c2e072b5851;hb=da16c76907f567b9aa4d3d026f6ab309006b3d86;hp=83337ddfbf31d295349ecd22141101f3e39814d5;hpb=3d70d837a733b4daed65d7c568f4be08f3c37b54;p=helm.git diff --git a/helm/ocaml/mathql/mQueryUtil.mli b/helm/ocaml/mathql/mQueryUtil.mli index 83337ddfb..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 : (string -> unit) -> MathQL.query -> string -> unit +val start_time : unit -> time -val text_of_result : (string -> unit) -> MathQL.result -> string -> unit +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