Document BootK data definition
This commit is contained in:
parent
0fbca40653
commit
4bf766daff
1
os2.rkt
1
os2.rkt
|
@ -84,6 +84,7 @@
|
||||||
;; role in a conversation.
|
;; role in a conversation.
|
||||||
(struct topic (role pattern virtual?) #:prefab)
|
(struct topic (role pattern virtual?) #:prefab)
|
||||||
|
|
||||||
|
;; BootK = PID -> Transition
|
||||||
;; InterruptK = State -> Transition
|
;; InterruptK = State -> Transition
|
||||||
;; TrapK<X> = X -> InterruptK
|
;; TrapK<X> = X -> InterruptK
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue