sig
  type ('s, 'set, 'v, 'k, 'o) t = {
    m : ('set, 'k) Bdd.mem;
    t : 's -> ('v, ('set, 'k) Bdd.node) Common.span;
    o : 's -> 'o;
    o0 : 'o;
    o2 : 'o -> 'o -> 'o;
    state_info : 's Common.formatter;
  }
  val reindex :
    ('s Common.hval, 's Common.hset, 'v, 'k, 'o) Automata.SNFA.t ->
    (int, Common.int_set, 'v, 'k, 'o) Automata.SNFA.t *
    ('s Common.hset -> Common.int_set)
  val size :
    (int, Common.int_set, 'a, 'b, 'c) Automata.SNFA.t ->
    Common.int_set -> int * int
end