X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fzack.mli;fp=helm%2Fhttp_getter%2Fzack.mli;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=581bcfd05060693b77afcd14438af49064bb5e5b;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/http_getter/zack.mli b/helm/http_getter/zack.mli
deleted file mode 100644
index 581bcfd05..000000000
--- a/helm/http_getter/zack.mli
+++ /dev/null
@@ -1,149 +0,0 @@
-(*
- * Zack's own OCaml library -- set of "helpers" function for the OCaml language
- *
- * Copyright (C) 2003:
- *    Stefano Zacchiroli <zack@bononia.it>
- *
- *  This module is free software; you can redistribute it and/or
- *  modify it under the terms of the GNU General Public License
- *  as published by the Free Software Foundation; either version 2
- *  of the License, or (at your option) any later version.
- *
- *  This module is distributed in the hope that it will be useful,
- *  but WITHOUT ANY WARRANTY; without even the implied warranty of
- *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- *  GNU General Public License for more details.
- *
- *  You should have received a copy of the GNU General Public License
- *  along with this module; if not, write to the Free Software
- *  Foundation, Inc., 59 Temple Place - Suite 330, Boston,
- *  MA  02111-1307, USA.
- *)
-
-exception Not_implemented
-
-val fold_in : ('a -> string -> 'a) -> 'a -> in_channel -> 'a
-val iter_in : (string -> unit) -> in_channel -> unit
-val map_in : (string -> 'a) -> in_channel -> 'a list
-val input_lines : in_channel -> string list
-val input_all : in_channel -> string
-val output_lines : string list -> out_channel -> unit
-val read_lines : unit -> string list
-val read_all : unit -> string
-val unsome : 'a option -> 'a
-
-module Array :
-  sig
-    val index : ('a -> bool) -> 'a array -> int
-    val find : ('a -> bool) -> 'a array -> 'a
-
-    val exists : ('a -> bool) -> 'a array -> bool
-    val for_all : ('a -> bool) -> 'a array -> bool
-
-    val filter : ('a -> bool) -> 'a array -> 'a array
-
-(*     val lrotate : ?step:int -> 'a array -> 'a array *)
-(*     val rrotate : ?step:int -> 'a array -> 'a array *)
-  end
-
-module Dbm :
-  sig
-    val fold : ('a -> string -> string -> 'a) -> 'a -> Dbm.t -> 'a
-  end
-
-module Hashtbl :
-  sig
-    val keys : ('a, 'b) Hashtbl.t -> 'a list
-    val values : ('a, 'b) Hashtbl.t -> 'b list
-
-    val remove_all : ('a, 'b) Hashtbl.t -> 'a -> unit
-  end
-
-module List :
-  sig
-    val map' : ('a -> 'b) -> 'a list -> 'b list
-    val map_if : ('a -> 'b) -> ('a -> bool) -> 'a list -> 'b list
-    val map_if' : ('a -> 'b) -> ('a -> bool) -> 'a list -> 'b list
-
-    val assoc_all : 'a -> ('a * 'b) list -> 'b list
-    val assq_all : 'a -> ('a * 'b) list -> 'b list
-
-    val lrotate : 'a list -> 'a list
-    val rrotate : 'a list -> 'a list
-(*     val List.lrotate: ?step:int -> 'a list -> 'a list *)
-(*     val List.rrotate: ?step:int -> 'a list -> 'a list *)
-  end
-
-module Logic :
-  sig
-    val non : ('a -> bool) -> 'a -> bool
-    val conj : ('a -> bool) -> ('a -> bool) -> 'a -> bool
-    val disj : ('a -> bool) -> ('a -> bool) -> 'a -> bool
-    val imply : ('a -> bool) -> ('a -> bool) -> 'a -> bool
-
-    val ( &&& ) : ('a -> bool) -> ('a -> bool) -> 'a -> bool
-    val ( ||| ) : ('a -> bool) -> ('a -> bool) -> 'a -> bool
-    val ( => ) : ('a -> bool) -> ('a -> bool) -> 'a -> bool
-  end
-
-module Random :
-  sig
-    val digit_range : (int * int) list
-    val alpha_upper_range : (int * int) list
-    val alpha_lower_range : (int * int) list
-    val alpha_range : (int * int) list
-    val alphanum_range : (int * int) list
-    val word_range : (int * int) list
-
-    val char : ?ranges:(int * int) list -> unit -> char
-    val string : ?ranges:(int * int) list -> int -> string
-  end
-
-module Stream :
-  sig
-    val map : ('a -> 'b) -> 'a Stream.t -> 'b Stream.t
-    val fold : ('a -> 'b -> 'a) -> 'a -> 'b Stream.t -> 'a
-
-    val of_inchan : in_channel -> string Stream.t
-  end
-
-module String :
-  sig
-    val explode : string -> char list
-    val implode : char list -> string
-
-    val chomp : string -> string
-
-    val map : (char -> char) -> string -> unit
-    val fold_left : ('a -> char -> 'a) -> 'a -> string -> 'a
-(*     val fold_right : (char -> 'a -> 'a) -> string -> 'a -> 'a *)
-    val iter : (char -> unit) -> string -> unit
-(*     val filter : (char -> bool) -> string -> string *)
-
-    val init : int -> (int -> char) -> string
-  end
-
-(*
-module Sys :
-  sig
-    val copy : src:string -> dst:string -> unit
-  end
-*)
-
-module Unix :
-  sig
-(*     val mkdir : ?parents:bool -> string -> unit *)
-
-    val is_regular : ?follow_symlink:bool -> string -> bool
-    val is_directory : ?follow_symlink:bool -> string -> bool
-    val is_chardev : ?follow_symlink:bool -> string -> bool
-    val is_blockdev : ?follow_symlink:bool -> string -> bool
-    val is_symlink : ?follow_symlink:bool -> string -> bool
-    val is_fifo : ?follow_symlink:bool -> string -> bool
-    val is_socket : ?follow_symlink:bool -> string -> bool
-
-    val size : ?follow_symlink:bool -> string -> int
-
-    val ls : string -> string list
-  end
-