doc: simplify readtable-mapping result contract

This commit is contained in:
Matthew Flatt 2021-04-15 12:34:06 -06:00
parent cc0b1bafeb
commit 890aa076a9

View File

@ -166,8 +166,8 @@ character to be treated as whitespace, and it might use
@defproc[(readtable-mapping [readtable readtable?] [char char?])
(values (or/c char?
(or/c 'terminating-macro
'non-terminating-macro))
'terminating-macro
'non-terminating-macro)
(or/c #f procedure?)
(or/c #f procedure?))]{