package coq-lsp

  1. Overview
  2. Docs
type 'a t = {
  1. r : 'a R.t;
  2. feedback : Message.t list;
}
val map : f:('a -> 'b) -> 'a t -> 'b t
val map_loc : f:(Loc.t -> Loc.t) -> 'a t -> 'a t
OCaml

Innovation. Community. Security.