provide Branch and Effs types

2019-06-07 09:46:02 -04:00 · 2019-06-07 09:46:02 -04:00 · 5dee1981b6
parent da900a258a
commit 5dee1981b6
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