I syfte att illustrera olika typer av författningsdomstolskontroll skisseras tre principmodeller för hur ett sådant kontrollsystem kan utformas .