* http://cs.unibo.it/helm/.
*)
-(******************************************************************************)
-(* *)
-(* PROJECT HELM *)
-(* *)
-(* Ferruccio Guidi <fguidi@cs.unibo.it> *)
-(* 30/04/2002 *)
-(* *)
-(* *)
-(******************************************************************************)
+(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
+type time
+
+val start_time : unit -> time
+
+val stop_time : time -> string
-val str_uref : MathQL.mquref -> string (* string linearization of a UriManager reference *)
+type 'a comparison = Lt
+ | Gt
+ | Eq of 'a
-val str_tref : MathQL.mqtref -> string (* string linearization of a tokenized reference *)
+val list_join : ('a -> 'a -> 'a comparison) -> 'a list -> 'a list -> 'a list
-val out_query : MathQL.mquery -> string (* HTML representation of a query *)
+val list_meet : ('a -> 'a -> 'a comparison) -> 'a list -> 'a list -> 'a list
-val tref_uref : MathQL.mquref -> MathQL.mqtref (* "tref of uref" conversion *)
+val flat_list : ('a -> unit) -> ('b -> unit) -> 'a -> 'b list -> unit
-val parse_text : in_channel -> MathQL.mquery (* textual parsing of a query *)
+val add_assoc : 'a * 'b -> ('a * 'b) list -> ('a * 'b) list