suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs for provide:

Browse Source 
svn: r13645

original commit: eba3b5d54d297673a7ba9ef2c1f8a036e99a88f0
This commit is contained in:
Sam Tobin-Hochstadt 2009-02-16 02:29:33 +00:00
parent c7e0ef61e9
commit 55f8d3f67e
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/ts-reference.scrbl
View File

@ -180,6 +180,9 @@ cycles among type aliases are prohibited.}
The definition of @scheme[v] must appear after this declaration. This
can be used anywhere a definition form may be used.}
@defform[(provide: [v t] ...)]{This declares that the @scheme[v]s have
the types @scheme[t], and also provides all of the @scheme[v]s.}
@litchar{#{v : t}} This declares that the variable @scheme[v] has type
@scheme[t]. This is legal only for binding occurences of @scheme[_v].