Com essas considerações , julga-se PROCEDENTE o pedido para declarar a inconstitucionalidade formal das Leis Distritais 747/94 e 2018/98 , bem como da Lei Complementar 380/2001 , com efeitos ex tunc e eficácia erga omnes .