Module ComHints

val interp_hints : poly:bool -> Vernacexpr.hints_expr -> Hints.hints_entry