Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
(* * Hmap: Maps of hash-consed values implemented as Patricia trees. * Copyright (C) 2000 Jean-Christophe FILLIATRE * * This software is free software; you can redistribute it and/or * modify it under the terms of the GNU Library General Public * License version 2, as published by the Free Software Foundation. * * This software 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 Library General Public License version 2 for more details * (enclosed in the file LGPL). *) (*i $Id: hmap.mli,v 1.3 2003/06/03 15:22:55 filliatr Exp $ i*) (*s Maps over hash-consed values, implemented as Patricia trees. See the module [Hashcons] and [Ptmap]. *) type (+'a, 'b) t type 'a key = 'a Hashcons.hash_consed val empty : ('a, 'b) t val add : 'a key -> 'b -> ('a, 'b) t -> ('a, 'b) t val find : 'a key -> ('a, 'b) t -> 'b val remove : 'a key -> ('a, 'b) t -> ('a, 'b) t val mem : 'a key -> ('a, 'b) t -> bool val iter : ('a key -> 'b -> unit) -> ('a, 'b) t -> unit val map : ('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t val mapi : ('a key -> 'b -> 'c) -> ('a, 'b) t -> ('a, 'c) t val fold : ('a key -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c