From 43c13e8052213959ab85f0431a17a7a4000c8898 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 16 Sep 2008 22:21:44 +0000 Subject: [PATCH] Document `Parameter' svn: r11780 original commit: 405ed4de3f82dd5cc135dde5f8326e969916fe61 --- collects/typed-scheme/typed-scheme.scrbl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl index afab39a1..d8228099 100644 --- a/collects/typed-scheme/typed-scheme.scrbl +++ b/collects/typed-scheme/typed-scheme.scrbl @@ -428,6 +428,9 @@ The following base types are parameteric in their type arguments. @defform[(Boxof t)]{A @gtech{box} of @scheme[t]} @defform[(Vectorof t)]{Homogenous @gtech{vectors} of @scheme[t]} @defform[(Option t)]{Either @scheme[t] of @scheme[#f]} +@defform*[[(Parameter t) + (Parameter s t)]]{A @rtech{parameter} of @scheme[t]. If two type arguments are supplied, + the first is the type the parameter accepts, and the second is the type returned.} @defform[(Pair s t)]{is the pair containing @scheme[s] as the @scheme[car] and @scheme[t] as the @scheme[cdr]}