doc/tutorial/music/MusicEng.gf


1
2
3
4
5
6
7
8
9
10
11

--# -path=.:present:api:prelude

  concrete MusicEng of Music = 
    MusicI - [PropKind] 
      with
        (Syntax = SyntaxEng),
        (MusicLex = MusicLexEng) ** 
    open SyntaxEng in {
  lin
    PropKind k p = mkCN k (mkRS (mkRCl which_RP (mkVP p))) ;
  }