src/utils/lib/verificationBitmap.mli

   1 type t
   2 type part_state =
   3     State_missing | State_partial | State_complete | State_verified
   4
   5 val init : int -> (int -> part_state) -> t
   6 val create : int -> part_state -> t
   7 val get : t -> int -> part_state
   8 val set : t -> int -> part_state -> unit
   9 val length : t -> int
  10
  11 val iteri : (int -> part_state -> unit) -> t -> unit
  12 val mapi : (int -> part_state -> 'a) -> t -> 'a array
  13 val fold_lefti : ('a -> int -> part_state -> 'a) -> 'a -> t -> 'a
  14 val existsi : (int -> part_state -> bool) -> t -> bool
  15 val for_all : (part_state -> bool) -> t -> bool
  16
  17 val to_string : t -> string
  18 val of_string : string -> t
  19 val state_to_char : part_state -> char