merlin-lib 4.7.1-500 · OCaml Package

merlin-lib

module Annot : sig ... end

module Btype : sig ... end

module Cmi_cache : sig ... end

module Cmi_format : sig ... end

module Cmt_cache : sig ... end

module Cmt_format : sig ... end

cmt and cmti files format.

module Ctype : sig ... end

module Datarepr : sig ... end

module Env : sig ... end

module Envaux : sig ... end

module Errortrace : sig ... end

module Ident : sig ... end

module Includeclass : sig ... end

module Includecore : sig ... end

module Includemod : sig ... end

module Includemod_errorprinter : sig ... end

module Magic_numbers : sig ... end

module Msupport : sig ... end

module Mtype : sig ... end

module Natural : sig ... end

Support for creating fresh types isomorphic to the natural numbers

module Oprint : sig ... end

module Outcometree : sig ... end

module Parmatch : sig ... end

Detection of partial matches and unused match cases.

module Path : sig ... end

module Patterns : sig ... end

module Persistent_env : sig ... end

module Predef : sig ... end

module Primitive : sig ... end

module Printpat : sig ... end

module Printtyp : sig ... end

module Printtyped : sig ... end

module Rec_check : sig ... end

module Saved_parts : sig ... end

module Shape : sig ... end

module Short_paths : sig ... end

module Short_paths_graph : sig ... end

Short_path_graph is a representation of the environment (as a graph, using Graph.t) that is more suitable to answer short path queries.

module Signature_group : sig ... end

Iterate on signature by syntactic group of items

module Stypes : sig ... end

module Subst : sig ... end

module Tast_iterator : sig ... end

Allows the implementation of typed tree inspection using open recursion

module Tast_mapper : sig ... end

module Type_immediacy : sig ... end

Immediacy status of a type

module Typeclass : sig ... end

module Typecore : sig ... end

module Typedecl : sig ... end

module Typedecl_immediacy : sig ... end

module Typedecl_properties : sig ... end

module Typedecl_separability : sig ... end

The OCaml runtime assumes for type-directed optimizations that all types are "separable". A type is "separable" if either all its inhabitants (the values of this type) are floating-point numbers, or none of them are.

module Typedecl_unboxed : sig ... end

module Typedecl_variance : sig ... end

module Typedtree : sig ... end

Abstract syntax tree after typing

module Typemod : sig ... end

Type-checking of the module language and typed ast hooks

module Typeopt : sig ... end

module Types : sig ... end

module Typetexp : sig ... end

module Untypeast : sig ... end

package merlin-lib