Zum Hauptinhalt springen
Typ, der verwendet wird, um eine Hypothese für ein Element eines beliebigen Typs anzugeben. Weitere Details finden Sie unter Hypothesen für alle Elementtypen.