This allows removing the names from Adt and FnDef (and more later), as a first step towards aligning more with chalk's Ty :) |
||
|---|---|---|
| .. | ||
| src | ||
| tests/test | ||
| Cargo.toml | ||
This allows removing the names from Adt and FnDef (and more later), as a first step towards aligning more with chalk's Ty :) |
||
|---|---|---|
| .. | ||
| src | ||
| tests/test | ||
| Cargo.toml | ||