une version marché et correcte avec bitvector

[tatoo.git] / src / bitvector.mli

diff --git a/src/bitvector.mli b/src/bitvector.mli
index a713185..b56ff2c 100644 (file)
--- a/src/bitvector.mli
+++ b/src/bitvector.mli
@@ -1,6 +1,7 @@
 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