X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fbitvector.mli;h=b56ff2c4e65d4184bcdc01c7ef78e62f205fdc92;hb=c5480c3711c7431e70f78871c738f2d86ecb96ac;hp=2bd31ebf4d240a544dbd8f7270aab2559420528c;hpb=acd23a33d837d03c813212ec3896a86edef16e87;p=tatoo.git

diff --git a/src/bitvector.mli b/src/bitvector.mli
index 2bd31eb..b56ff2c 100644
--- 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
+