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