X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIUtil.mli;h=76735a86342c3c9c028372db5099da028fb8ad65;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=217ba8c01ed3171010886215932c3e450e0ff958;hpb=91db309a46f8b6f100a36abbc568deec10a8d1df;p=helm.git diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.mli b/helm/ocaml/mathql_interpreter/mQIUtil.mli index 217ba8c01..76735a863 100644 --- a/helm/ocaml/mathql_interpreter/mQIUtil.mli +++ b/helm/ocaml/mathql_interpreter/mQIUtil.mli @@ -23,16 +23,8 @@ * http://cs.unibo.it/helm/. *) -(******************************************************************************) -(* *) -(* PROJECT HELM *) -(* *) -(* Ferruccio Guidi *) -(* 06/01/2003 *) -(* *) -(* *) -(******************************************************************************) - +(* AUTOR: Ferruccio Guidi + *) val mql_true : MathQL.value @@ -46,6 +38,8 @@ val set_eq : MathQL.value -> MathQL.value -> MathQL.value val set_union : 'a list -> 'a list -> 'a list +val set_intersect : 'a list -> 'a list -> 'a list + val mql_union : ('a * 'b list) list -> ('a * 'b list) list -> ('a * 'b list) list