package coq-lsp

  1. Overview
  2. Docs
type 'a t = private
  1. | Completed of ('a, Error.t) Stdlib.result
  2. | Interrupted
val map : f:('a -> 'b) -> 'a t -> 'b t
val map_error : f:(Error.payload -> Error.payload) -> 'a t -> 'a t
val map_loc : f:(Loc.t -> Loc.t) -> 'a t -> 'a t

Update the loc stored in the result, this is used by our cache-aware location

OCaml

Innovation. Community. Security.