sig   val with_dependencies : State.t -> State_selection.t   val only_dependencies : State.t -> State_selection.t   val with_codependencies : State.t -> State_selection.t   val only_codependencies : State.t -> State_selection.t   val union : State_selection.t -> State_selection.t -> State_selection.t   val list_union : State_selection.t list -> State_selection.t   val diff : State_selection.t -> State_selection.t -> State_selection.t   val cardinal : State_selection.t -> int   val to_list : State_selection.t -> State.t list   val pretty : Format.formatter -> State_selection.t -> unit   val pretty_witness : Format.formatter -> State_selection.t -> unit   val iter_succ : (State.t -> unit) -> State_selection.t -> State.t -> unit   val fold_succ :     (State.t -> '-> 'a) -> State_selection.t -> State.t -> '-> 'a   val iter : (State.t -> unit) -> State_selection.t -> unit   val fold : (State.t -> '-> 'a) -> State_selection.t -> '-> 'a   val iter_in_order : (State.t -> unit) -> State_selection.t -> unit   val fold_in_order : (State.t -> '-> 'a) -> State_selection.t -> '-> 'a end