I added the ability to mention a signature without the wrapping parens
late in the branch, but forgot to put it in the documentation. svn: r13525
This commit is contained in:
parent
fbb5de4fa7
commit
12bbf258df
|
@ -633,7 +633,7 @@ Expands to a @scheme[provide] of all identifiers implied by the
|
|||
|
||||
@defform/subs[#:literals (import export)
|
||||
(unit/c (import sig-block ...) (export sig-block ...))
|
||||
([sig-block (sig-id [id ctc] ...)])
|
||||
([sig-block (sig-id [id ctc] ...) sig-id])
|
||||
#:contracts ([ctc contract?])]{
|
||||
|
||||
A @deftech{unit contract} wraps a unit and checks both its imported and
|
||||
|
|
Loading…
Reference in New Issue
Block a user