diff options
| author | Son Ho | 2024-04-26 10:28:32 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-26 10:28:32 +0200 |
| commit | dbabb0124814c38f11f839f8a67146011107133d (patch) | |
| tree | bd780ce7568b620c0e3ab3783c99c210e3445236 /backends/coq/Primitives.v | |
| parent | 036756d6bddbcf9bc936489779ed36c7e4d22d14 (diff) | |
Update a decreases clause
Diffstat (limited to 'backends/coq/Primitives.v')
0 files changed, 0 insertions, 0 deletions