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 /sandbox | |
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 'sandbox')
0 files changed, 0 insertions, 0 deletions