2.1 Signaturen
Link to this section with
@secref["signatures-vanilla"
#:doc '(lib "deinprogramm/scribblings/deinprogramm.scrbl")]
Link to this section with
@secref["list-of" #:doc '(lib "deinprogramm/scribblings/deinprogramm.scrbl")]
Diese Signatur ist dann für einen Wert gültig, wenn dieser eine Liste ist,
für dessen Elemente sig gültig ist.