SIGNATURE QuickSort

IMPORT Nat COMPLETELY
IMPORT Seq[nat] COMPLETELY

-- Sortiert die übergebene Sequenz mit Hilfe des Sortier-
-- verfahrens QuickSort
FUN quickSort : seq[nat] -> seq[nat]