1) Utiliser bitvector pour preserver l'ordre pendant l'evaluation

[tatoo.git] / src / bitvector.mli

diff --git a/src/bitvector.mli b/src/bitvector.mli
index 2bd31eb..a713185 100644 (file)
--- a/src/bitvector.mli
+++ b/src/bitvector.mli
@@ -7,3 +7,7 @@ val get : t -> int -> bool
 
 val unsafe_set : t -> int -> bool -> unit
 val unsafe_get : t -> int -> bool
+val union : t -> t -> t
+val inter : t -> t -> t
+val diff  : t -> t -> t
+