Anayasa Mahkemesi, çıkartılan bir kanunun anayasaya aykırı olduğuna karar vererek iptal etmiştir. Bu durum yargının hangi işlevine örnektir?