@ -88,7 +88,7 @@
;; role in a conversation.
(struct topic (role pattern virtual?) #:prefab)
;; BootK = PID -> Transition
;; BootK = either (PID -> Transition) or Transition
;; InterruptK = State -> Transition
;; TrapK<X> = X -> InterruptK