Cosmetic

2013-04-30 15:57:15 -04:00 · 2013-04-30 15:57:15 -04:00 · bc2bb30fb3
parent f5f2f08f41
commit bc2bb30fb3
1 changed files with 4 additions and 1 deletions
--- 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]
 )]{