marco.lied
02/01/2024, 7:40 AM$x$1, $x$1$1 , $y$1$2 etc., but keeping all “normal” inner classes which don’t have the numeric names?
"*\$*\$*" doesn’t seem to work
Same for $x$DefaultImpls where "*\$DefaultImpls" doesn’t seem to work eitherCLOVIS
02/01/2024, 10:23 AMmarco.lied
02/01/2024, 10:46 AM$1$x and different statistics but in the end I only care about the function before the $xxx and the statistics should be grouped in one function