hazel icon indicating copy to clipboard operation
hazel copied to clipboard

Published 20 hours ago • verified publisher icon hazelgrove

Make the data constructors in termbase distinct

Open 7h3kk1d opened this issue 4 months ago • 0 comments

Useful for the qcheck ppxs. I used ocamlc warning 30 to find duplicate defns.

7h3kk1d avatar Oct 04 '24 14:10 7h3kk1d