------------------------------------------------------------------------ -- The Agda standard library -- -- Basic types related to coinduction ------------------------------------------------------------------------ module Codata.Musical.Notation where open import Agda.Builtin.Coinduction public