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

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
+