Up – Package index » coq-lsp » Library coq-lsp.coq » Coq » Workspace

Module `Coq.Workspace`Source

Sourcemodule Setup : sig ... end

Sourcetype t = Setup.t * string

Sourceval apply : t -> unit

Sourceval guess : coqlib:string -> cmdline:Setup.t -> t