package coq-lsp

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

Module Coq.Notation_analysisSource

Sourcemodule Info : sig ... end
Sourceval notations_in_statement : token:Limits.Token.t -> intern:Library.Intern.t -> st:State.t -> Ast.t -> (Info.t list, Loc.t) Protect.E.t