package coq-lsp

  1. Overview
  2. Docs
val mk_reply : id:int -> result:Yojson.Safe.t -> Yojson.Safe.t
val mk_diagnostics : uri:string -> version:int -> (Fleche.Types.Range.t * int * string * unit option) list -> Yojson.Safe.t
val std_protocol : bool ref
OCaml

Innovation. Community. Security.