diff --git a/collects/scribblings/reference/places.scrbl b/collects/scribblings/reference/places.scrbl index fe8df6ae4d..8b277815bc 100644 --- a/collects/scribblings/reference/places.scrbl +++ b/collects/scribblings/reference/places.scrbl @@ -209,3 +209,12 @@ messages: ]} +@;------------------------------------------------------------------------ +@;@section[#:tag "placesync"]{Synchronizing Places} + +@defproc[(place-dead-evt [p place?]) evt?]{ + +Returns a @tech{synchronizable event} (see @secref["sync"]) that is +ready if and only if @racket[p] has terminated. + +@;------------------------------------------------------------------------