package coq-lsp

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

Module JFleche.RangedSpanSource

Sourcetype ('goals, 'pp) t = {
  1. range : Lang.Range.t;
  2. ast : Coq.Ast.t option;
  3. goals : ('goals, 'pp) GoalsAnswer.t option;
}
Sourceval to_yojson : ('goals -> Yojson.Safe.t) -> ('pp -> Yojson.Safe.t) -> ('goals, 'pp) t -> Yojson.Safe.t