Module Merlin_sherlodoc

module Name_cost : sig ... end

Utilities for calculating distances between names.

module Query : sig ... end

Prepares a query based on a string of characters. A query acts on the identifier of a function and its type..

module Type_distance : sig ... end

Calculate an approximation of the distance between two types.

module Type_expr : sig ... end

A representation of internal types, with superfluous information removed to make it easier to compare them and calculate their distance.

module Type_lexer : sig ... end
module Type_parsed : sig ... end

A parsed type expression representation, where type variables are expressed as strings and must be normalized in a Type_expr.t.

module Type_parser : sig ... end
module Type_polarity : sig ... end

Describes the polarity sign of a type negative for contravariant parameters and positive for covariant parameters (the return of the function).