Type in the branches is not recursive #48
Description
Change
End↓
Recv<CBranchesAtoC<N>, End>in
ADD(SessionMpst<ADDAtoB<N>, End, OrderingA0, RoleA<RoleEnd>>),Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
Change
End↓
Recv<CBranchesAtoC<N>, End>in
ADD(SessionMpst<ADDAtoB<N>, End, OrderingA0, RoleA<RoleEnd>>),