From 9893f4dea10a76e47b8fad0c345a712e168004a4 Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Fri, 7 Jun 2019 09:46:02 -0400
Subject: [PATCH] provide Branch and Effs types

---
 racket/typed/roles.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/racket/typed/roles.rkt b/racket/typed/roles.rkt
index 3860ede..6ca1665 100644
--- 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