Takayuki Maeda 83dea35384 replace guess_head_span with def_span		2022-07-06 19:09:47 +09:00
..
src	replace guess_head_span with def_span	2022-07-06 19:09:47 +09:00
Cargo.toml	Initial fixes on top of type interner commit	2022-05-28 11:38:22 -07:00