package coq-lsp

  1. Overview
  2. Docs
Language Server Protocol native server for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

coq-lsp-0.1.3.v8.16.tbz
sha256=d6d589ae18453d9251b4250df50e59cfc87254de0e4734e13c5bca06ab14cee5
sha512=802b4673c7f581976526a3cb4bd824f7574c5b1cc8fcc7759fcd3358cdc3e4cebef3ec908899ad68129190777ccda931dfc1643b45db156ede15acae0382c148

doc/coq-lsp.coq/Coq/Ast/index.html

Module Coq.AstSource

Sourcetype t
Sourceval loc : t -> Loc.t option
Sourceval hash : t -> int
Sourceval compare : t -> t -> int
Sourceval print : t -> Pp.t
Sourceval grab_definitions : (Loc.t -> Names.Id.t -> 'a) -> t list -> 'a list
Sourceval marshal_in : in_channel -> t
Sourceval marshal_out : out_channel -> t -> unit
Sourceval pr_loc : ?print_file:bool -> Loc.t -> string
OCaml

Innovation. Community. Security.