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] )]{