->denotational

name : →denotational

name@ :

type : relation

value-format : space-separated

value-presentation-format : space-separated

format : <name/> : <value/>

(wrong-type-argument char-or-string-p nil)