Merlin_analysis.Type_utilsSourceCheck if module is smaller (= has less definition, counting nested ones) than a particular threshold. Return (Some n) if module has size n, or None otherwise (module is bigger than threshold). Used to skip printing big modules in completion.
val type_in_env :
?verbosity:Merlin_kernel.Mconfig.Verbosity.t ->
?keywords:Ocaml_preprocess.Lexer_raw.keywords ->
context:Context.t ->
Ocaml_typing.Env.t ->
Merlin_utils.Std.Format.formatter ->
string ->
booltype_in_env env ppf input parses input and prints its type on ppf. Returning true if it printed a type, false otherwise.
val print_type_with_decl :
verbosity:Merlin_kernel.Mconfig.Verbosity.t ->
Ocaml_typing.Env.t ->
Merlin_utils.Std.Format.formatter ->
Ocaml_typing.Types.type_expr ->
unitprint_type_or_decl behaves like Printtyp.type_scheme, it prints the type expression, except if it is a type constructor and verbosity is set then it also prints the type declaration.
val lookup_module :
Ocaml_parsing.Longident.t ->
Ocaml_typing.Env.t ->
Ocaml_typing.Path.t
* Ocaml_typing.Types.module_type
* Ocaml_parsing.Parsetree.attributeslookup_module is a fancier version of Env.lookup_module that also returns the module type.
val read_doc_attributes :
Ocaml_parsing.Parsetree.attributes ->
(string * Ocaml_parsing.Location.t) optionread_doc_attributes looks for a docstring in an attribute list.
val print_constr :
verbosity:Merlin_kernel.Mconfig.Verbosity.t ->
Ocaml_typing.Env.t ->
Merlin_utils.Std.Format.formatter ->
Ocaml_typing.Types.constructor_description ->
unit