path: root/doc/tutorial/music/Music.gf

  abstract Music = {
    cat 
      Kind ;
      Property ;
    fun 
      PropKind : Kind -> Property -> Kind ; 
      Song : Kind ;
      American : Property ;
}