package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val preident : string Gram.entry

val ident : Names.Id.t Gram.entry

val name : Names.Name.t Loc.located Gram.entry

val identref : Names.Id.t Loc.located Gram.entry

val pidentref : 
  (Names.Id.t Loc.located * Names.Id.t Loc.located list option) Gram.entry

val pattern_ident : Names.Id.t Gram.entry

val pattern_identref : Names.Id.t Loc.located Gram.entry

val base_ident : Names.Id.t Gram.entry

val natural : int Gram.entry

val bigint : Constrexpr.raw_natural_number Gram.entry

val integer : int Gram.entry

val string : string Gram.entry

val lstring : string Loc.located Gram.entry

val qualid : Libnames.qualid Loc.located Gram.entry

val fullyqualid : Names.Id.t list Loc.located Gram.entry

val reference : Libnames.reference Gram.entry

val by_notation : (string * string option) Loc.located Gram.entry

val smart_global : Libnames.reference Misctypes.or_by_notation Gram.entry

val dirpath : Names.DirPath.t Gram.entry

val ne_string : string Gram.entry

val ne_lstring : string Loc.located Gram.entry

val var : Names.Id.t Loc.located Gram.entry