RewriteStrats (rocq-runtime.Ltac2_plugin.Tac2tactics.RewriteStrats)

val fix : Tac2val.closure -> Rewrite.strategy Proofview.tactic

val hints : Names.Id.t -> Rewrite.strategy

val old_hints : Names.Id.t -> Rewrite.strategy

val one_lemma : Ltac_pretype.closed_glob_constr -> bool -> Rewrite.strategy

val lemmas : Ltac_pretype.closed_glob_constr list -> Rewrite.strategy