Definition of "constitutional law"