Module Polarity_search.PathSet
type elt = Ocaml_typing.Path.tval empty : Merlin_analysis.Polarity_search.PathSet.tval disjoint :
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.t ->
boolval cardinal : Merlin_analysis.Polarity_search.PathSet.t -> intval elements :
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.elt listval min_elt_opt :
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.elt optionval max_elt_opt :
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.elt optionval choose_opt :
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.elt optionval find_first :
(Merlin_analysis.Polarity_search.PathSet.elt -> bool) ->
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.eltval find_first_opt :
(Merlin_analysis.Polarity_search.PathSet.elt -> bool) ->
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.elt optionval find_last :
(Merlin_analysis.Polarity_search.PathSet.elt -> bool) ->
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.eltval find_last_opt :
(Merlin_analysis.Polarity_search.PathSet.elt -> bool) ->
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.elt optionval iter :
(Merlin_analysis.Polarity_search.PathSet.elt -> unit) ->
Merlin_analysis.Polarity_search.PathSet.t ->
unitval fold :
(Merlin_analysis.Polarity_search.PathSet.elt -> 'acc -> 'acc) ->
Merlin_analysis.Polarity_search.PathSet.t ->
'acc ->
'accval is_empty : Merlin_analysis.Polarity_search.PathSet.t -> boolval mem :
Merlin_analysis.Polarity_search.PathSet.elt ->
Merlin_analysis.Polarity_search.PathSet.t ->
boolval equal :
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.t ->
boolval compare :
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.t ->
intval subset :
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.t ->
boolval for_all :
(Merlin_analysis.Polarity_search.PathSet.elt -> bool) ->
Merlin_analysis.Polarity_search.PathSet.t ->
boolval exists :
(Merlin_analysis.Polarity_search.PathSet.elt -> bool) ->
Merlin_analysis.Polarity_search.PathSet.t ->
boolval to_list :
Merlin_analysis.Polarity_search.PathSet.t ->
Merlin_analysis.Polarity_search.PathSet.elt listval of_list :
Merlin_analysis.Polarity_search.PathSet.elt list ->
Merlin_analysis.Polarity_search.PathSet.t