summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBasile Starynkevitch <basile.starynkevitch@inria.fr>2004-03-23 12:37:46 +0000
committerBasile Starynkevitch <basile.starynkevitch@inria.fr>2004-03-23 12:37:46 +0000
commit326f61bb366d9c9f332ec56c3ace48db6cea85e9 (patch)
tree231f8a8a1016db72b32627fc2ae3dbbaa962e5ad
parent2c8fe3ae6b8fcfec0f2374dd0151e06f2ff716c1 (diff)
added length to Hashtbl.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/moreLabels.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/moreLabels.mli b/stdlib/moreLabels.mli
index 6a690470c..42aa0ba40 100644
--- a/stdlib/moreLabels.mli
+++ b/stdlib/moreLabels.mli
@@ -38,6 +38,7 @@ module Hashtbl : sig
val fold :
f:(key:'a -> data:'b -> 'c -> 'c) ->
('a, 'b) t -> init:'c -> 'c
+ val length : ('a, 'b) t -> int
module type HashedType = Hashtbl.HashedType
module type S =
sig
@@ -56,6 +57,7 @@ module Hashtbl : sig
val fold :
f:(key:key -> data:'a -> 'b -> 'b) ->
'a t -> init:'b -> 'b
+ val length : 'a t -> int
end
module Make : functor (H : HashedType) -> S with type key = H.t
val hash : 'a -> int