diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-08-02 14:03:46 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-08-02 14:03:46 +0100 |
| commit | a17c1e5fcbb159d9c6ef84058d8d10ae9567ffc8 (patch) | |
| tree | 27bf0c59549afbd748dfc75bb3a6bcc7ecff46ac /examples/04-box/output/java | |
| parent | 65342425fe891ad54b997d8228d72770d02c2441 (diff) | |
Check number of type-level args
Diffstat (limited to 'examples/04-box/output/java')
0 files changed, 0 insertions, 0 deletions