From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA02947 for caml-red; Mon, 12 Feb 2001 13:26:12 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id GAA08704 for ; Sun, 11 Feb 2001 06:23:34 +0100 (MET) Received: from web704.mail.yahoo.com (web704.mail.yahoo.com [128.11.23.24]) by nez-perce.inria.fr (8.11.1/8.10.0) with SMTP id f1B5NXL25267 for ; Sun, 11 Feb 2001 06:23:34 +0100 (MET) Received: (qmail 11156 invoked by uid 60001); 11 Feb 2001 05:23:32 -0000 Message-ID: <20010211052332.11155.qmail@web704.mail.yahoo.com> Received: from [4.21.35.133] by web704.mail.yahoo.com; Sat, 10 Feb 2001 21:23:32 PST Date: Sat, 10 Feb 2001 21:23:32 -0800 (PST) From: Ronaldo Carpio Subject: newbie question (map/hashtbl size) To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: weis@pauillac.inria.fr Hello, How do you get the size of a hashtable or map? Thanks in advance, Ronnie N. Carpio rncarpio@yahoo.com __________________________________________________ Do You Yahoo!? Get personalized email addresses from Yahoo! Mail - only $35 a year! http://personal.mail.yahoo.com/