X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryUtil.mli;h=bb38dc91d349ec1bca9b564382ca102e9c0ad80a;hb=d1010e05c0d73e3b44d3d971592bd8be9e1e0752;hp=53d612e822ae60fd0fb5ba7aa6983dcd9657ee6d;hpb=91db309a46f8b6f100a36abbc568deec10a8d1df;p=helm.git diff --git a/helm/ocaml/mathql/mQueryUtil.mli b/helm/ocaml/mathql/mQueryUtil.mli index 53d612e82..bb38dc91d 100644 --- a/helm/ocaml/mathql/mQueryUtil.mli +++ b/helm/ocaml/mathql/mQueryUtil.mli @@ -23,16 +23,8 @@ * http://cs.unibo.it/helm/. *) -(******************************************************************************) -(* *) -(* PROJECT HELM *) -(* *) -(* Ferruccio Guidi *) -(* 30/04/2002 *) -(* *) -(* *) -(******************************************************************************) - +(* AUTOR: Ferruccio Guidi + *) val text_of_query : (string -> unit) -> MathQL.query -> string -> unit @@ -48,6 +40,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)