diff options
| author | Son Ho | 2023-10-24 15:01:55 +0200 |
|---|---|---|
| committer | Son Ho | 2023-10-24 15:01:55 +0200 |
| commit | be70eed487b507dc002660a4c891397003165e75 (patch) | |
| tree | c583606a23478c76c6e74c33ba2fe471e2eff4fe /tests/lean/External/Opaque.lean | |
| parent | 63107911c16a9991f7d5cf8c6df621318a03ca3b (diff) | |
Add support for builtin trait implementations
Diffstat (limited to 'tests/lean/External/Opaque.lean')
0 files changed, 0 insertions, 0 deletions