coq-lsp.coq
Parsing.Parsable
coq-lsp.fleche
coq-lsp.lsp
type t
val make : ?loc:Loc.t -> char Stream.t -> t
val loc : t -> Loc.t