une version marché et correcte avec bitvector

[tatoo.git] / src / bitvector.mli

diff --git a/src/bitvector.mli b/src/bitvector.mli
index 2bd31eb..b56ff2c 100644 (file)
--- a/src/bitvector.mli
+++ b/src/bitvector.mli
@@ -1,9 +1,14 @@
 type t
 
 val create : ?init:bool -> int -> t
+val alloc :  int -> t
 val length : t -> int
 val set : t -> int -> bool -> unit
 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
+