From ff18afc1a9a964231d100aef02e5791caad5dc92 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Fri, 28 Jan 2011 12:36:50 -0500
Subject: [PATCH] Documented opt-lambda: and popt-lambda:. (cherry picked from
 commit 4b3e621d0ff54671befe96bff3c49109128e8861)

---
 collects/typed-scheme/scribblings/ts-reference.scrbl | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl
index 84cb9545e7..710f0c70ef 100644
--- a/collects/typed-scheme/scribblings/ts-reference.scrbl
+++ b/collects/typed-scheme/scribblings/ts-reference.scrbl
@@ -296,6 +296,14 @@ A function of multiple arities.  Note that each @racket[formals] must have a
 different arity.}
 @defform[(pcase-lambda: (a ...) [formals body] ...)]{
 A polymorphic function of multiple arities.}
+@defform/subs[(opt-lambda: formals . body)
+([formals ([v : t] ... [v : t default] ...)
+          ([v : t] ... [v : t default] ... . [v : t *])
+	  ([v : t] ... [v : t default] ... . [v : t ...])])]{
+A function with optional arguments.}
+@defform[(popt-lambda: (a ...) formals . body)]{
+A polymorphic function with optional arguments.}
+
 
 @subsection{Loops}