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

Module `JFleche.CompletionStatus`Source

Coq-lsp-specific

Sourcetype t = {

status : [ `Yes | `Stopped | `Failed ];
range : Lang.Range.t;

}

Sourceval to_yojson : t -> Yojson.Safe.t

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