package vscoq-language-server

  1. Overview
  2. Docs
type t =
  1. | Debug
  2. | Info
  3. | Notice
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t
val yojson_of_t : t -> [> `Int of int ]
val t_of_feedback_level : Feedback.level -> t option
OCaml

Innovation. Community. Security.