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

Use `define-type' to make docs clearer.

Browse Source 
original commit: da3b4ed543ec9ca9aa3b114f4da44d12af4a60e7
This commit is contained in:
Sam Tobin-Hochstadt 2010-07-02 15:04:43 -04:00
parent c67aef8622
commit b4e86dc502
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.
@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]
refers to the whole binary tree type within the body of the