package vscoq-language-server

  1. Overview
  2. Docs

Module Settings.ProofSource

Sourcetype t = {
  1. delegation : DelegationMode.t;
  2. workers : int option;
  3. mode : Mode.t;
  4. block : bool;
  5. pointInterpretationMode : PointInterpretationMode.t;
}