Utilities for calculating distances between names.

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

Calculate an approximation of the distance between two types.

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

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

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