From b4e86dc50281fd9119c65c0935fbfe05f8e179bc Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 2 Jul 2010 15:04:43 -0400 Subject: [PATCH] Use `define-type' to make docs clearer. original commit: da3b4ed543ec9ca9aa3b114f4da44d12af4a60e7 --- collects/typed-scheme/scribblings/types.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/scribblings/types.scrbl b/collects/typed-scheme/scribblings/types.scrbl index fdbf1dca..1d020b11 100644 --- a/collects/typed-scheme/scribblings/types.scrbl +++ b/collects/typed-scheme/scribblings/types.scrbl @@ -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