Document unicode case->.

original commit: b75e080aee2a576d3900c3e2f4e7a2bbc2903c18
2012-01-13 14:40:29 -05:00 · 2012-01-13 14:40:29 -05:00 · 4a8c1ed5d2
commit 4a8c1ed5d2
parent 07c1349e2a
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}