summaryrefslogtreecommitdiff
path: root/doc/tutorial/music/MusicLex.gf
blob: 87a6706985d685df71e1036e17716b2acd3a2f68 (plain)
1
2
3
4
5
  abstract MusicLex = Cat ** {
    fun
      song_N : N ;
      american_A : A ;
    }