Up – Package index » coq-lsp » Library coq-lsp.lsp » Lsp » JFleche » Config

Module `JFleche.Config`Source

Server config

Sourcetype t = Fleche.Config.t

Sourceval to_yojson : t -> Yojson.Safe.t

Sourceval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or