improved the ->* docs
This commit is contained in:
parent
987d58763d
commit
a10cd9d14d
|
@ -474,11 +474,12 @@ each value must match its respective contract.}
|
||||||
|
|
||||||
|
|
||||||
@defform*/subs[#:literals (any values)
|
@defform*/subs[#:literals (any values)
|
||||||
[(->* (mandatory-dom ...) (optional-dom ...) rest pre range post)]
|
[(->* (mandatory-dom ...) optional-doms rest pre range post)]
|
||||||
([mandatory-dom dom-expr (code:line keyword dom-expr)]
|
([mandatory-dom dom-expr (code:line keyword dom-expr)]
|
||||||
|
[optional-doms (code:line) (optional-dom ...)]
|
||||||
[optional-dom dom-expr (code:line keyword dom-expr)]
|
[optional-dom dom-expr (code:line keyword dom-expr)]
|
||||||
[pre (code:line) (code:line #:pre pre-cond-expr)]
|
|
||||||
[rest (code:line) (code:line #:rest rest-expr)]
|
[rest (code:line) (code:line #:rest rest-expr)]
|
||||||
|
[pre (code:line) (code:line #:pre pre-cond-expr)]
|
||||||
[range range-expr (values range-expr ...) any]
|
[range range-expr (values range-expr ...) any]
|
||||||
[post (code:line) (code:line #:post post-cond-expr)])]{
|
[post (code:line) (code:line #:post post-cond-expr)])]{
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user