{-# OPTIONS --cubical --no-import-sorts #-}
module Cubical.Codata.Stream where

open import Cubical.Codata.Stream.Base public

open import Cubical.Codata.Stream.Properties public