Skip to content

Rename folding/visiting traits#767

Merged
bors merged 6 commits intorust-lang:masterfrom eggyal:rename-traitsJun 21, 2022