diff options
| author | Son Ho | 2023-11-12 20:41:58 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-12 20:41:58 +0100 |
| commit | 746239e8f29de85f848d14e44eac8690e2065a1d (patch) | |
| tree | 523b1e82385b4f41501ae98099d9f3d3a8092b63 /tests/coq/betree | |
| parent | 6ef68fa9ffd4caec09677ee2800a778080d6da34 (diff) | |
Add the "V" prefix to most variants related to values
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions