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