diff options
| author | coqbot-app[bot] | 2021-01-20 18:46:31 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-20 18:46:31 +0000 |
| commit | ea966282416e1c62d095542129ab03e3632df898 (patch) | |
| tree | 5efe67e126f6bc74957c2f8a1afc6b63bfb1b373 /pretyping/reductionops.mli | |
| parent | 471fc4035adec0e96957aaddbd7fd3034539dc22 (diff) | |
| parent | a47e7822338bf0d2ab21c1f9a3b8bfef7a9b50b4 (diff) | |
Merge PR #13721: Remove strong reduction wrappers
Reviewed-by: mattam82
Diffstat (limited to 'pretyping/reductionops.mli')
| -rw-r--r-- | pretyping/reductionops.mli | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/pretyping/reductionops.mli b/pretyping/reductionops.mli index 9d41e7ab58..41d16f1c3c 100644 --- a/pretyping/reductionops.mli +++ b/pretyping/reductionops.mli @@ -143,13 +143,6 @@ type e_reduction_function = env -> evar_map -> constr -> evar_map * constr type stack_reduction_function = env -> evar_map -> constr -> constr * constr list -(** {6 Reduction Function Operators } *) - -val strong_with_flags : - (CClosure.RedFlags.reds -> reduction_function) -> - (CClosure.RedFlags.reds -> reduction_function) -val strong : reduction_function -> reduction_function - (** {6 Generic Optimized Reduction Function using Closures } *) val clos_norm_flags : CClosure.RedFlags.reds -> reduction_function |