package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rewrite.StrategiesSource

Sourceval fail : strategy
Sourceval refl : strategy
Sourceval progress : strategy -> strategy
Sourceval seqs : strategy list -> strategy
Sourceval choice : strategy -> strategy -> strategy
Sourceval choices : strategy list -> strategy
Sourceval try_ : strategy -> strategy
Sourceval fix : (strategy -> strategy) -> strategy
Sourceval repeat : strategy -> strategy
Sourceval all_subterms : strategy -> strategy
Sourceval one_subterm : strategy -> strategy
Sourceval bottomup : strategy -> strategy
Sourceval topdown : strategy -> strategy
Sourceval innermost : strategy -> strategy
Sourceval outermost : strategy -> strategy
Sourceval old_hints : string -> strategy
Sourceval hints : string -> strategy