Module `ComHints`

val interp_hints : poly:PolyFlags.t -> Vernacexpr.hints_expr -> Hints.hints_entry