module Control.Protocol where open import Control.Protocol.InOut public open import Control.Protocol.End public open import Control.Protocol.Core public open import Control.Protocol.Sequence public open import Control.Protocol.Additive public open import Control.Protocol.Multiplicative public open import Control.Protocol.MultiParty public