provide Branch and Effs types

2019-06-07 09:46:02 -04:00 · 2019-06-07 09:46:02 -04:00 · 9893f4dea1
parent 7dd9700c99
commit 9893f4dea1
1 changed files with 1 additions and 0 deletions
--- a/racket/typed/roles.rkt
+++ b/racket/typed/roles.rkt
@ -10,6 +10,7 @@
         ;; Types
         Tuple Bind Discard → ∀
         Role Reacts Shares Know ¬Know Message OnDataflow Stop OnStart OnStop
+         Branch Effs
         FacetName Field ★/t
         Observe Inbound Outbound Actor U ⊥
         Computation Value Endpoints Roles Spawns