Module JFleche.GoalsAnswerSource

Sourcetype t = {
  1. textDocument : Doc.VersionedTextDocument.t;
  2. position : Lang.Point.t;
  3. goals : string JCoq.Goals.reified_goal JCoq.Goals.goals option;
  4. messages : string Message.t list;
  5. error : string option;
}
Sourceval to_yojson : t -> Yojson.Safe.t