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

document quote for more types

Browse Source 
svn: r14480
This commit is contained in:
Sam Tobin-Hochstadt 2009-04-09 22:27:25 +00:00
parent 0657fc52cf
commit 2332f2f50a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -87,7 +87,7 @@ The following base types are parameteric in their type arguments.
types @scheme[t ...]. This can only appear as the return type of a types @scheme[t ...]. This can only appear as the return type of a
function.} function.}
@defform/none[v]{where @scheme[v] is a number, boolean or string, is the singleton type containing only that value} @defform/none[v]{where @scheme[v] is a number, boolean or string, is the singleton type containing only that value}
@defform/none['sym]{where @scheme[sym] is a symbol, is the singleton type containing only that symbol} @defform/none['val]{where @scheme[val] is a Scheme value, is the singleton type containing only that value}
@defform/none[i]{where @scheme[i] is an identifier can be a reference to a type @defform/none[i]{where @scheme[i] is an identifier can be a reference to a type
name or a type variable} name or a type variable}
@defform[(Rec n t)]{is a recursive type where @scheme[n] is bound to the @defform[(Rec n t)]{is a recursive type where @scheme[n] is bound to the