package vscoq-language-server

  1. Overview
  2. Docs

Module Settings.CompletionSource

Sourcemodule RankingAlgoritm : sig ... end
Sourcetype t = {
  1. enable : bool;
  2. algorithm : RankingAlgoritm.t;
  3. unificationLimit : int;
  4. atomicFactor : float;
    (*

    Controls how highly specific types are prioritised over generics

    *)
  5. sizeFactor : float;
    (*

    Controls how highly small types are prioritised over larger ones

    *)
}