document define-struct/exec:

svn: r15703

original commit: 9649e10df843371f6c0436eb2024547767c38d79

collects/typed-scheme/private/prims.ss

@@ -20,7 +20,8 @@ This file defines two sorts of primitives. All of them are provided into any mod
 
 
 (provide (all-defined-out)
-	 (rename-out [define-typed-struct define-struct:]))
+	 (rename-out [define-typed-struct define-struct:]
+                     [define-typed-struct/exec define-struct/exec:]))
 
 (require (except-in "../utils/utils.ss" extend))
 (require (for-syntax 

collects/typed-scheme/ts-reference.scrbl

@@ -188,6 +188,12 @@ types.  In most cases, use of @scheme[:] is preferred to use of @scheme[define:]
 structure is a substructure of @scheme[parent].  When
 @scheme[maybe-type-vars] is present, the structure is polymorphic in the type
  variables @scheme[v].}
+                                 
+@defform/subs[
+(define-struct/exec: name-spec ([f : t] ...) [e : proc-t])
+([name-spec name (name parent)])]{
+ Like @scheme[define-struct:], but defines an procedural structure.  
+ The procdure @scheme[e] is used as the value for @scheme[prop:procedure], and must have type @scheme[proc-t].}
 
 @subsection{Type Aliases}
 @defform*[[(define-type-alias name t)