{-# OPTIONS --safe #-}
module Protocol.Streamlet.Base where

open import Prelude

Epoch = ℕ
variable e e′ : Epoch