X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIUtil.mli;h=f6063ad0722437d96bcb8683c1ae26006e2c542e;hb=efdc3184ccd0738fe48aa0056fc444fba23329e8;hp=76735a86342c3c9c028372db5099da028fb8ad65;hpb=6cf989363e4b92e47a5385ae4f01e77c5bbe4553;p=helm.git diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.mli b/helm/ocaml/mathql_interpreter/mQIUtil.mli index 76735a863..f6063ad07 100644 --- a/helm/ocaml/mathql_interpreter/mQIUtil.mli +++ b/helm/ocaml/mathql_interpreter/mQIUtil.mli @@ -26,19 +26,19 @@ (* AUTOR: Ferruccio Guidi *) -val mql_true : MathQL.value +val mql_true : MathQL.result -val mql_false : MathQL.value +val mql_false : MathQL.result -val set_sub : MathQL.value -> MathQL.value -> MathQL.value +val set_sub : MathQL.result -> MathQL.result -> MathQL.result -val set_meet : MathQL.value -> MathQL.value -> MathQL.value +val set_meet : MathQL.result -> MathQL.result -> MathQL.result -val set_eq : MathQL.value -> MathQL.value -> MathQL.value +val set_eq : MathQL.result -> MathQL.result -> MathQL.result val set_union : 'a list -> 'a list -> 'a list -val set_intersect : 'a list -> 'a list -> 'a list +val mql_subj : MathQL.value -> MathQL.result val mql_union : ('a * 'b list) list -> ('a * 'b list) list -> ('a * 'b list) list @@ -58,12 +58,8 @@ val mql_iter : ('c -> ('a * 'b list) list) -> 'c list -> val mql_iter2 : ('c -> 'd -> ('a * 'b list) list) -> 'c list -> 'd list -> ('a * 'b list) list -val xor : MathQL.value -> MathQL.value -> MathQL.value +val xor : MathQL.result -> MathQL.result -> MathQL.result -val le : MathQL.value -> MathQL.value -> MathQL.value +exception NumberError of MathQL.result -val lt : MathQL.value -> MathQL.value -> MathQL.value - -val align : string -> string -> MathQL.value - -val set : string * 'a -> (string * 'a) list -> (string * 'a) list +val int_of_set : MathQL.result -> int