package coq-lsp

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