package coq-lsp

  1. Overview
  2. Docs
type 'a t =
  1. | Completed of ('a, Loc.t option * Pp.t) Stdlib.result
  2. | Interrupted
OCaml

Innovation. Community. Security.