une version marché et correcte avec bitvector
[tatoo.git] / src / bitvector.mli
1 type t
2
3 val create : ?init:bool -> int -> t
4 val alloc :  int -> t
5 val length : t -> int
6 val set : t -> int -> bool -> unit
7 val get : t -> int -> bool
8
9 val unsafe_set : t -> int -> bool -> unit
10 val unsafe_get : t -> int -> bool
11 val union : t -> t -> t
12 val inter : t -> t -> t
13 val diff  : t -> t -> t
14