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

docs for provide:

Browse Source 
svn: r13645
This commit is contained in:
Sam Tobin-Hochstadt 2009-02-16 02:29:33 +00:00
parent ae55a5b636
commit eba3b5d54d
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 The definition of @scheme[v] must appear after this declaration. This
can be used anywhere a definition form may be used.} 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 @litchar{#{v : t}} This declares that the variable @scheme[v] has type
@scheme[t]. This is legal only for binding occurences of @scheme[_v]. @scheme[t]. This is legal only for binding occurences of @scheme[_v].