package coq-lsp

  1. Overview
  2. Docs
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