Closed ktec closed 3 years ago
Remove second definition of arity because it's already bound on line 116
arity
Thanks! Better merge late than never, I guess :-)
Remove second definition of
arity
because it's already bound on line 116