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

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