summaryrefslogtreecommitdiff
path: root/doc/tutorial/music/MusicEng0.gf
blob: 088444e38511544e8325ae2cd66adacbbf5802c5 (plain)
1
2
3
  concrete MusicEng0 of Music = MusicI with
    (Syntax = SyntaxEng),
    (MusicLex = MusicLexEng) ;