------------------------------------------------------------------------
-- The Agda standard library
--
-- Basic types related to coinduction
------------------------------------------------------------------------

module Codata.Musical.Notation where

open import Agda.Builtin.Coinduction public