sig
  val with_dependencies : State.t -> t
  val only_dependencies : State.t -> t
  val with_codependencies : State.t -> t
  val only_codependencies : State.t -> t
  val union : t -> t -> t
  val diff : t -> t -> t
  val cardinal : t -> int
  val pretty : Format.formatter -> t -> unit
  val iter_succ : (State.t -> unit) -> t -> State.t -> unit
  val fold_succ : (State.t -> '-> 'a) -> t -> State.t -> '-> 'a
  val iter : (State.t -> unit) -> t -> unit
  val fold : (State.t -> '-> 'a) -> t -> '-> 'a
  val iter_in_order : (State.t -> unit) -> t -> unit
  val fold_in_order : (State.t -> '-> 'a) -> t -> '-> 'a
  val remove_useless_states : t -> t
  val dump : State_selection.t -> string -> unit
  module Dot :
    functor (A : State_dependency_graph.Attributes->
      sig val dump : State_selection.t -> string -> unit end
end