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

add index entries

Browse Source 
svn: r15206

original commit: d7f0c681c7504224a87e9fa1d4604db9cdfc11c1
This commit is contained in:
Sam Tobin-Hochstadt 2009-06-18 17:02:40 +00:00
parent 1a71d5e3a3
commit 36dd39a994
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -235,7 +235,7 @@ them the specified types.
The first form requires @scheme[r], giving it type @scheme[t].
The second and third forms require the struct with name @scheme[name]
@index["struct"]{The second and third forms} require the struct with name @scheme[name]
with fields @scheme[f ...], where each field has type @scheme[t]. The
third form allows a @scheme[parent] structure type to be specified.
The parent type must already be a structure type known to Typed
@ -244,7 +244,7 @@ structure predicate has the appropriate Typed Scheme filter type so
that it may be used as a predicate in @scheme[if] expressions in Typed
Scheme.
The fourth case defines a new type @scheme[t]. @scheme[pred], imported from
@index["opaque"]{The fourth case} defines a new type @scheme[t]. @scheme[pred], imported from
module @scheme[m], is a predicate for this type. The type is defined
as precisely those values to which @scheme[pred] produces
@scheme[#t]. @scheme[pred] must have type @scheme[(Any -> Boolean)].