Document unicode case->.

2012-01-13 14:40:29 -05:00 · 2012-01-13 14:40:29 -05:00 · b75e080aee
commit b75e080aee
parent e3609cdb32
1 changed files with 1 additions and 0 deletions
--- a/collects/typed-racket/scribblings/reference/types.scrbl
+++ b/collects/typed-racket/scribblings/reference/types.scrbl
@ -430,6 +430,7 @@ recursive type in the body @racket[t]
    (define-type (List A) (Rec List (Pair A (U List Null))))]}

@defalias[→ ->]
+@defalias[case→ case->]
@defalias[∀ All]

@section{Other Types}