From 5865d4d79f052cfb190e728e8618cb05e2ac845f Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 19 Nov 1999 09:11:35 +0000
Subject: discriminations nets

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@123 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/gmap.ml | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'lib/gmap.ml')

diff --git a/lib/gmap.ml b/lib/gmap.ml
index beb0a1994e..52af882b35 100644
--- a/lib/gmap.ml
+++ b/lib/gmap.ml
@@ -107,3 +107,12 @@
         Empty -> accu
       | Node(l, v, d, r, _) ->
           fold f l (f v d (fold f r accu))
+
+(* Added with respect to ocaml standard library. *)
+
+    let dom m = fold (fun x _ acc -> x::acc) m []
+
+    let rng m = fold (fun _ y acc -> y::acc) m []
+
+    let to_list m = fold (fun x y acc -> (x,y)::acc) m []
+
-- 
cgit v1.2.3