diff options
author | 1999-11-19 14:22:39 +0000 | |
---|---|---|
committer | 1999-11-19 14:22:39 +0000 | |
commit | b0382a9829f08282351244839526bd2ffbe6283f (patch) | |
tree | a5b6ef413fb056288326d76ac10cb30847af847f /lib/bij.mli | |
parent | 6f600fd1c528c97f7d2e1016af1650ab62b2b4c1 (diff) |
modules Bij, Gmapl, Stock
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@125 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/bij.mli')
-rw-r--r-- | lib/bij.mli | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/lib/bij.mli b/lib/bij.mli new file mode 100644 index 000000000..65bae1eec --- /dev/null +++ b/lib/bij.mli @@ -0,0 +1,19 @@ + +(* $Id$ *) + +(* Bijections. *) + +type ('a,'b) t + +val empty : ('a,'b) t +val map : ('a,'b) t -> 'a -> 'b +val pam : ('a,'b) t -> 'b -> 'a +val dom : ('a,'b) t -> 'a list +val rng : ('a,'b) t -> 'b list +val in_dom : ('a,'b) t -> 'a -> bool +val in_rng : ('a,'b) t -> 'b -> bool +val app : ('a -> 'b -> unit) -> ('a,'b) t -> unit +val to_list : ('a,'b) t -> ('a * 'b) list + +val add : ('a,'b) t -> 'a * 'b -> ('a,'b) t +val remove : ('a,'b) t -> 'a -> ('a,'b) t |