package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val constr : Constrexpr.constr_expr Gram.entry

val constr_eoi : Constrexpr.constr_expr Gram.entry

val lconstr : Constrexpr.constr_expr Gram.entry

val binder_constr : Constrexpr.constr_expr Gram.entry

val operconstr : Constrexpr.constr_expr Gram.entry

val ident : Names.Id.t Gram.entry

val global : Libnames.reference Gram.entry

val universe_level : Misctypes.glob_level Gram.entry

val sort : Misctypes.glob_sort Gram.entry

val pattern : Constrexpr.cases_pattern_expr Gram.entry

val constr_pattern : Constrexpr.constr_expr Gram.entry

val lconstr_pattern : Constrexpr.constr_expr Gram.entry

val closed_binder : Constrexpr.local_binder_expr list Gram.entry

val binder : Constrexpr.local_binder_expr list Gram.entry

val binders : Constrexpr.local_binder_expr list Gram.entry

val open_binders : Constrexpr.local_binder_expr list Gram.entry

val binders_fixannot : 
  (Constrexpr.local_binder_expr list
   * (Names.Id.t Loc.located option * Constrexpr.recursion_order_expr))
    Gram.entry

val typeclass_constraint : 
  (Names.Name.t Loc.located * bool * Constrexpr.constr_expr) Gram.entry

val record_declaration : Constrexpr.constr_expr Gram.entry

val appl_arg : 
  (Constrexpr.constr_expr * Constrexpr.explicitation Loc.located option)
    Gram.entry