Module Merlin_sherlodocSource

Sourcemodule Name_cost : sig ... end

Utilities for calculating distances between names.

Sourcemodule Query : sig ... end

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

Sourcemodule Type_distance : sig ... end

Calculate an approximation of the distance between two types.

Sourcemodule Type_expr : sig ... end

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

Sourcemodule Type_lexer : sig ... end
Sourcemodule 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.

Sourcemodule Type_parser : sig ... end
Sourcemodule 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).