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

{-# OPTIONS --without-K --safe --guardedness #-}

module Codata.Musical.Notation where

open import Agda.Builtin.Coinduction public