Open jaccokrijnen opened 1 year ago
It is not necessary anymore to dump the arity of constructors as we have the full type now
It is not necessary anymore to dump the arity of constructors as we have the full type now