package safa

  1. Overview
  2. Docs
type (!'s, !'set, !'v, !'k, !'o) t = {
  1. m : ('set, 'k) Bdd.mem;
  2. t : 's -> ('v, ('set, 'k) Bdd.node) Common.span;
  3. o : 's -> 'o;
  4. o0 : 'o;
  5. o2 : 'o -> 'o -> 'o;
  6. state_info : 's Common.formatter;
}
val reindex : ('s Common.hval, 's Common.hset, 'v, 'k, 'o) t -> (int, Common.int_set, 'v, 'k, 'o) t * ('s Common.hset -> Common.int_set)
val size : (int, Common.int_set, 'a, 'b, 'c) t -> Common.int_set -> int * int
OCaml

Innovation. Community. Security.