coq-lsp.coq
Coq.Protect
coq-lsp.fleche
coq-lsp.lsp
module R : sig ... end
val eval : f:('i -> 'o) -> 'i -> 'o R.t
val map_loc : f:(Loc.t -> Loc.t) -> 'a R.t -> 'a R.t
Update the loc stored in the result, this is used by our cache-aware location