package coq-lsp

  1. Overview
  2. Docs
type t
val make : ?loc:Loc.t -> char Stream.t -> t
val loc : t -> Loc.t