X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIUtil.mli;h=f6063ad0722437d96bcb8683c1ae26006e2c542e;hb=efdc3184ccd0738fe48aa0056fc444fba23329e8;hp=c294832c8e02b1b0a050ccc02b99612d2e150c09;hpb=931f10c61b4e3914474955a94a05cf43b5fa2bc0;p=helm.git diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.mli b/helm/ocaml/mathql_interpreter/mQIUtil.mli index c294832c8..f6063ad07 100644 --- a/helm/ocaml/mathql_interpreter/mQIUtil.mli +++ b/helm/ocaml/mathql_interpreter/mQIUtil.mli @@ -26,18 +26,20 @@ (* 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 mql_subj : MathQL.value -> MathQL.result + val mql_union : ('a * 'b list) list -> ('a * 'b list) list -> ('a * 'b list) list @@ -56,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 le : MathQL.value -> MathQL.value -> MathQL.value - -val lt : MathQL.value -> MathQL.value -> MathQL.value +val xor : MathQL.result -> MathQL.result -> MathQL.result -val align : string -> string -> MathQL.value +exception NumberError of MathQL.result -val set : string * 'a -> (string * 'a) list -> (string * 'a) list +val int_of_set : MathQL.result -> int