new "light" implementation of intersection (compatible with the generator)

[helm.git] / helm / ocaml / mathql_interpreter / mQIUtil.mli

diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.mli b/helm/ocaml/mathql_interpreter/mQIUtil.mli
index c294832c8e02b1b0a050ccc02b99612d2e150c09..76735a86342c3c9c028372db5099da028fb8ad65 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIUtil.mli
+++ b/helm/ocaml/mathql_interpreter/mQIUtil.mli
@@ -38,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