1 (* Copyright (C) 2000, HELM Team.
3 * This file is part of HELM, an Hypertextual, Electronic
4 * Library of Mathematics, developed at the Computer Science
5 * Department, University of Bologna, Italy.
7 * HELM is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation; either version 2
10 * of the License, or (at your option) any later version.
12 * HELM is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with HELM; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
22 * For details, see the HELM World-Wide-Web page,
23 * http://cs.unibo.it/helm/.
26 (******************************************************************************)
30 (* Ferruccio Guidi <fguidi@cs.unibo.it> *)
34 (******************************************************************************)
37 val mql_true : MathQL.value
39 val mql_false : MathQL.value
41 val set_sub : MathQL.value -> MathQL.value -> MathQL.value
43 val set_meet : MathQL.value -> MathQL.value -> MathQL.value
45 val set_eq : MathQL.value -> MathQL.value -> MathQL.value
47 val set_union : 'a list -> 'a list -> 'a list
49 val mql_union : ('a * 'b list) list -> ('a * 'b list) list ->
52 val mql_prod : MathQL.attribute_set -> MathQL.attribute_set ->
55 val mql_intersect : MathQL.result -> MathQL.result -> MathQL.result
57 val mql_diff : MathQL.result -> MathQL.result -> MathQL.result
59 val iter : ('a -> 'b list) -> 'a list -> 'b list
61 val mql_iter : ('c -> ('a * 'b list) list) -> 'c list ->
64 val mql_iter2 : ('c -> 'd -> ('a * 'b list) list) -> 'c list ->
65 'd list -> ('a * 'b list) list
67 val xor : MathQL.value -> MathQL.value -> MathQL.value
69 val le : MathQL.value -> MathQL.value -> MathQL.value
71 val lt : MathQL.value -> MathQL.value -> MathQL.value
73 val align : string -> string -> MathQL.value
75 val set : string * 'a -> (string * 'a) list -> (string * 'a) list
79 val start_time : unit -> time
81 val stop_time : time -> string