package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module State.ProofSource

Proof states

Sourcetype t
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval name : t -> string
Sourceval statements : token:Limits.Token.t -> t -> (string list, Loc.t) Protect.E.t
Sourcemodule Program : sig ... end