diff options
| author | Son Ho | 2023-09-10 21:07:06 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-10 21:07:06 +0200 |
| commit | c6b88a2e54b7697262ad3677ad7500471c68e332 (patch) | |
| tree | 9acc74c298e6270a4dccbc8ef250488225f2183e /tests/coq/misc/_CoqProject | |
| parent | 8233c5a4918864166f877c9fcea19b4250185583 (diff) | |
Add support for the trait associated constants
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions