Requer a procedência do pedido para declarar , em tese e com efeitos ex tunc e eficácia erga omnes , a inconstitucionalidade das Leis distritais n.º 747/1994 e 2.018/1998 , bem como da Lei Complementar distrital n.º 380/2001 .