PurityDomain.ModifiedParamIndices
type t
val pp : Stdlib.Format.formatter -> t -> unit
val empty : t
val of_list : int list -> t
val is_empty : t -> bool
val mem : int -> t -> bool
val add : int -> t -> t