package coq-lsp

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

Module Layout.Coq_utilSource

Sourceval intern_reference : Libnames.qualid -> Names.GlobRef.t option
Sourceval notation_raw : Environ.env -> Evd.evar_map -> Constrexpr.constr_expr -> Constrexpr.constr_expr option

notation_raw env sigma expr will return Some raw_expr if raw_expr is the unfolding of a notation expr

Sourcemodule Id : sig ... end