merlin-lib.ocaml_typing
Ocaml_typing.Subst
merlin-lib.analysis
merlin-lib.commands
merlin-lib.config
merlin-lib.dot_protocol
merlin-lib.extend
merlin-lib.kernel
merlin-lib.ocaml_compression
merlin-lib.ocaml_merlin_specific
merlin-lib.ocaml_parsing
merlin-lib.ocaml_preprocess
merlin-lib.ocaml_utils
merlin-lib.os_ipc
merlin-lib.query_commands
merlin-lib.query_protocol
merlin-lib.sherlodoc
merlin-lib.utils
type t
val identity : t
val add_type : Ident.t -> Path.t -> t -> t
val add_type_path : Path.t -> Path.t -> t -> t
val add_type_function : Path.t -> params:Types.type_expr list -> body:Types.type_expr -> t -> t
val add_module : Ident.t -> Path.t -> t -> t
val add_module_path : Path.t -> Path.t -> t -> t
val add_modtype : Ident.t -> Types.module_type -> t -> t
val add_modtype_path : Path.t -> Types.module_type -> t -> t
val for_saving : t -> t
val make_loc_ghost : t -> t
val reset_for_saving : unit -> unit
val change_locs : t -> Ocaml_parsing.Location.t -> t
val module_path : t -> Path.t -> Path.t
val type_path : t -> Path.t -> Path.t
val modtype_path : t -> Path.t -> Path.t
val type_expr : t -> Types.type_expr -> Types.type_expr
val class_type : t -> Types.class_type -> Types.class_type
val value_description : t -> Types.value_description -> Types.value_description
val type_declaration : t -> Types.type_declaration -> Types.type_declaration
val extension_constructor : t -> Types.extension_constructor -> Types.extension_constructor
val class_declaration : t -> Types.class_declaration -> Types.class_declaration
val cltype_declaration : t -> Types.class_type_declaration -> Types.class_type_declaration
type scoping =
| Keep
| Make_local
| Rescope of int
val modtype : scoping -> t -> Types.module_type -> Types.module_type
val signature : scoping -> t -> Types.signature -> Types.signature
val signature_item : scoping -> t -> Types.signature_item -> Types.signature_item
val modtype_declaration : scoping -> t -> Types.modtype_declaration -> Types.modtype_declaration
val module_declaration : scoping -> t -> Types.module_declaration -> Types.module_declaration
val compose : t -> t -> t
val ctype_apply_env_empty : (Types.type_expr list -> Types.type_expr -> Types.type_expr list -> Types.type_expr) ref
module Lazy : sig ... end