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

Module `JFleche.FlecheDocument`Source

Sourcetype t = {

spans : RangedSpan.t list;
completed : CompletionStatus.t;

}

Sourceval to_yojson : t -> Yojson.Safe.t