Add a bitmap to keep track of whether a subtree needs to be

[tatoo.git] / src / bitvector.mli

diff --git a/src/bitvector.mli b/src/bitvector.mli
new file mode 100644 (file)
index 0000000..2bd31eb
--- /dev/null
+++ b/src/bitvector.mli
@@ -0,0 +1,9 @@
+type t
+
+val create : ?init:bool -> 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