MAlonzo.Code.Codata.Musical.Costring
d_Costring_6 :: () Source #
d_toCostring_8 :: T_String_6 -> T_Colist_20 AgdaAny T_Char_6 Source #