package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module JFleche.FlecheDocumentSource

Sourcetype ('goals, 'pp) t = {
  1. spans : ('goals, 'pp) RangedSpan.t list;
  2. completed : CompletionStatus.t;
}
Sourceval to_yojson : ('goals -> Yojson.Safe.t) -> ('pp -> Yojson.Safe.t) -> ('goals, 'pp) t -> Yojson.Safe.t