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

Use `define-type' to make docs clearer.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-07-02 15:04:43 -04:00
parent 219682bbbe
commit da3b4ed543
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/scribblings/types.scrbl
View File

@ -94,7 +94,7 @@ to describe an infinite family of data. For example, this is the type
of binary trees of numbers. of binary trees of numbers.
@racketblock[ @racketblock[
(Rec BT (U Number (Pair BT BT)))] (define-type BinaryTree (Rec BT (U Number (Pair BT BT))))]
The @racket[Rec] type constructor specifies that the type @racket[BT] The @racket[Rec] type constructor specifies that the type @racket[BT]
refers to the whole binary tree type within the body of the refers to the whole binary tree type within the body of the