Module Ltac_plugin.G_auto

val wit_hintbases : (string list optionstring list optionstring list option) Genarg.genarg_type
val hintbases : string list option Pcoq.Entry.t
val auto_using : Constrexpr.constr_expr list Pcoq.Entry.t
val wit_opthints : (string list optionstring list optionstring list option) Genarg.genarg_type
val opthints : string list option Pcoq.Entry.t