package coq-lsp

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

Module Doc.AnalysisSource

Helper functions to analyze documents

Sourceval find_proof_start : Node.t -> Node.t option

find_proof_start node returns Some pnode where pnode is the node that contains the start of the proof. node is the node to start the search from, which will proceed using the prev field.