Module JFleche.RangedSpanSource

Sourcetype t = {
  1. range : Lang.Range.t;
  2. span : Coq.Ast.t option;
}
Sourceval to_yojson : t -> Yojson.Safe.t