diff options
Diffstat (limited to 'src/Arithmetic/Saturated/Wrappers.v')
| -rw-r--r-- | src/Arithmetic/Saturated/Wrappers.v | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Arithmetic/Saturated/Wrappers.v b/src/Arithmetic/Saturated/Wrappers.v index e9b73dd10..6fe466967 100644 --- a/src/Arithmetic/Saturated/Wrappers.v +++ b/src/Arithmetic/Saturated/Wrappers.v @@ -52,6 +52,10 @@ Hint Unfold Columns.unbalanced_sub_cps Columns.mul_cps. +Hint Unfold + Columns.add_cps Columns.unbalanced_sub_cps Columns.mul_cps Columns.conditional_add_cps + : basesystem_partial_evaluation_unfolder. + Ltac basesystem_partial_evaluation_unfolder t := let t := (eval cbv delta [Columns.add_cps Columns.unbalanced_sub_cps Columns.mul_cps Columns.conditional_add_cps] in t) in let t := Saturated.Core.basesystem_partial_evaluation_unfolder t in |