Open mattiasdrp opened 2 years ago
The modules defined in monomorphize.ml don't seem to be used outside.
Should we keep them?
Not the modules, I wrote too fast. Some functions.
The modules defined in monomorphize.ml don't seem to be used outside.
Should we keep them?