Add example of (List t ... bound).

Closes PR 11903. original commit: 5ec7401f1f5a628948e091eeb2a54d7ca09f2109
2013-04-03 23:07:12 -07:00 · 2013-04-03 23:07:12 -07:00 · 5286a8163d
commit 5286a8163d
parent e36796195e
1 changed files with 2 additions and 0 deletions
--- a/collects/typed-racket/scribblings/reference/types.scrbl
+++ b/collects/typed-racket/scribblings/reference/types.scrbl
@ -293,6 +293,8 @@ corresponding to @racket[trest], where @racket[bound]

@ex[
 (list 'a 'b 'c)
+(plambda: (a ...) ([sym : Symbol] boxes : (Boxof a) ... a)
+  (ann (cons sym boxes) (List Symbol (Boxof a) ... a)))
 (map symbol->string (list 'a 'b 'c))
 ]