utils
Utils.Boolvector
bit_lib
fix
front
kernel
lrgrep.internal
lrgrep.interpreter
lrgrep.runtime
lrijkstra_utils
support
syntax
valmari
type 'n t
val make : 'n Fix.Indexing.cardinal -> bool -> 'n t
val init : 'n Fix.Indexing.cardinal -> ('n Fix.Indexing.index -> bool) -> 'n t
val test : 'n t -> 'n Fix.Indexing.index -> bool
val set : 'n t -> 'n Fix.Indexing.index -> unit
val clear : 'n t -> 'n Fix.Indexing.index -> unit
val from_vector : ('n, 'a) Fix.Indexing.vector -> ('a -> bool) -> 'n t