package vscoq-language-server

  1. Overview
  2. Docs

Module Settings.DelegationModeSource

Sourcetype t =
  1. | None
  2. | Skip
  3. | Delegate
Sourceval yojson_of_t : t -> [> `String of string ]
Sourceval t_of_yojson : [> `String of string ] -> t