Module Arg_info.Set

type arg := t
type t
val is_empty : t -> bool
val empty : t
val add : arg -> e_completion -> t -> t
val choose : t -> arg * e_completion
val partition : (arg -> e_completion -> bool) -> t -> t * t
val filter : (arg -> e_completion -> bool) -> t -> t
val iter : (arg -> e_completion -> unit) -> t -> unit
val singleton : arg -> e_completion -> t
val fold : (arg -> e_completion -> 'acc -> 'acc) -> t -> 'acc -> 'acc
val elements : t -> arg list
val union : t -> t -> t
val find_opt : arg -> t -> e_completion option