From eba3b5d54d297673a7ba9ef2c1f8a036e99a88f0 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 16 Feb 2009 02:29:33 +0000 Subject: [PATCH] docs for provide: svn: r13645 --- collects/typed-scheme/ts-reference.scrbl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-scheme/ts-reference.scrbl b/collects/typed-scheme/ts-reference.scrbl index 1d1af93d61..102a13e905 100644 --- a/collects/typed-scheme/ts-reference.scrbl +++ b/collects/typed-scheme/ts-reference.scrbl @@ -180,6 +180,9 @@ cycles among type aliases are prohibited.} The definition of @scheme[v] must appear after this declaration. This can be used anywhere a definition form may be used.} +@defform[(provide: [v t] ...)]{This declares that the @scheme[v]s have +the types @scheme[t], and also provides all of the @scheme[v]s.} + @litchar{#{v : t}} This declares that the variable @scheme[v] has type @scheme[t]. This is legal only for binding occurences of @scheme[_v].