On this page:
define-singleton

1.4 Singleton-Definitionenđź”—â„ą

syntax

(define-singleton signature name?)

(define-singleton signature name predicate?)
Diese Form definiert ein Singleton, also einen einzelnen Wert namens name, der mit Hilfe von predicate? von allen anderen Werten unterschieden werden kann. Die dazu passende Signatur ist signature.