module Parameter_state:sig
..end
val get_selection_context : ?is_set:bool -> unit -> State_selection.t
Selection of all the parameters that may have an impact on some analysis.
val get_selection : ?is_set:bool -> unit -> State_selection.t
Selection of all the settable parameters.
is_set
is true
by default (for backward compatibility): in such a
case, for each option, the extra internal state indicating whether it is
set also belongs to the selection.
val get_reset_selection : ?is_set:bool -> unit -> State_selection.t
Selection of resettable parameters in case of copy with a visitor. Not for casual user.
val collections : State.Set.t Stdlib.ref