fleche_waterproof
Json.CAst
Astdump_plugin
Example_plugin
Goaldumpl_plugin
Savevo_plugin
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lang
coq-lsp.lsp
coq-lsp.petanque
coq-lsp.plugin
petanque_json
type 'a t = {
v : 'a;
range : Lang.Range.t;
}
val make : range:Lang.Range.t -> 'a -> 'a t