Module Rewrite.Strategies

val fail : strategy
val id : strategy
val refl : strategy
val progress : strategy -> strategy
val seq : strategy -> strategy -> strategy
val seqs : strategy list -> strategy
val choice : strategy -> strategy -> strategy
val choices : strategy list -> strategy
val try_ : strategy -> strategy
val fix : (strategy -> strategy) -> strategy
val any : strategy -> strategy
val repeat : strategy -> strategy
val all_subterms : strategy -> strategy
val one_subterm : strategy -> strategy
val bottomup : strategy -> strategy
val topdown : strategy -> strategy
val innermost : strategy -> strategy
val outermost : strategy -> strategy
val old_hints : string -> strategy
val hints : string -> strategy
val reduce : Redexpr.red_expr -> strategy
val fold : Evd.econstr -> strategy
val fold_glob : Glob_term.glob_constr -> strategy