Polarity_search (merlin-lib.merlin-lib.analysis.Merlin_analysis.Polarity

type t =

| Trie of string * Ocaml_parsing.Longident.t * t list lazy_t

module PathSet : sig ... end

type query = {

positive : PathSet.t;
pos_fun : int;
negative : PathSet.t;
neg_fun : int;

}

val remove : int ref -> PathSet.t ref -> PathSet.elt -> unit

val normalize_path : 
  Ocaml_typing.Env.t ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Path.t

val match_query : 
  Ocaml_typing.Env.t ->
  query ->
  Ocaml_typing.Types.type_expr ->
  int option

val build_query : 
  positive:Ocaml_parsing.Longident.t Merlin_utils.Std.List.t ->
  negative:Ocaml_parsing.Longident.t Merlin_utils.Std.List.t ->
  Ocaml_typing.Env.t ->
  query

val prepare_query : Ocaml_typing.Env.t -> string -> query

val directories : global_modules:string list -> Ocaml_typing.Env.t -> t list

val execute_query : 
  query ->
  Ocaml_typing.Env.t ->
  t list ->
  (int * Ocaml_typing.Path.t * Ocaml_typing.Types.value_description) list

val execute_query_as_type_search : 
  ?limit:int ->
  env:Ocaml_typing.Env.t ->
  query:query ->
  modules:t list ->
  unit ->
  Ocaml_typing.Types.type_expr Ocaml_typing.Types.wrapped
    Query_protocol.type_search_result
    list