From bc2bb30fb311bf10388ca9298458fa0e3bc76c2f Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 30 Apr 2013 15:57:15 -0400 Subject: [PATCH] Cosmetic --- marketplace/scribblings/lowlevel.scrbl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/marketplace/scribblings/lowlevel.scrbl b/marketplace/scribblings/lowlevel.scrbl index e7f9b5b..0339c5e 100644 --- a/marketplace/scribblings/lowlevel.scrbl +++ b/marketplace/scribblings/lowlevel.scrbl @@ -224,7 +224,10 @@ some publisher, it will be @racket['subscriber]. See also @defstruct*[spawn ([spec process-spec] [k (Option (PID -> (InterruptK State)))] [debug-name Any]) #:prefab] @defstruct*[process-spec ([boot (PID -> CoTransition)]) #:prefab] -@deftype[CoTransition (All (Result) (All (State) (Transition State) -> Result) -> Result)] +@deftype[CoTransition + (All (Result) + (All (State) (Transition State) -> Result) + -> Result)] @deftype[(Spawn State) (spawn State)] @deftype[ProcessSpec process-spec] )]{