diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2016-05-07 21:52:12 +0200 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-05-28 21:47:28 +0200 |
| commit | e5ce083d3cbc1e78e3c5f26ca922581d098ba260 (patch) | |
| tree | 353b38b0f42f1d64187a8ce719783e954565e5d4 /bin | |
| parent | 5cf997cb2190a206529f45ad68ccd8f23032f191 (diff) | |
| download | dotty-e5ce083d3cbc1e78e3c5f26ca922581d098ba260.tar.gz dotty-e5ce083d3cbc1e78e3c5f26ca922581d098ba260.tar.bz2 dotty-e5ce083d3cbc1e78e3c5f26ca922581d098ba260.zip | |
Add Types#TypeTraverser for convenience
This works similarly to `Trees#TreeTraverser`.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions