Trait dialectic::types::EachScoped [−][src]
In the Choose
and Offer
session types, we provide the ability to choose/offer a list of
protocols. The sealed EachScoped
trait ensures that every protocol in a type level list of
protocols is Scoped
.