package vscoq-language-server

  1. Overview
  2. Docs
type t =
  1. | Cursor
  2. | NextCommand
val yojson_of_t : t -> [> `Int of int ]
val t_of_yojson : [> `Int of int ] -> t
OCaml

Innovation. Community. Security.