mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-17 16:59:34 -06:00
8 lines
188 B
Plaintext
8 lines
188 B
Plaintext
--# -path=.:present:api:prelude
|
|
|
|
concrete MusicEng of Music = MusicEng0 - [PropKind] **
|
|
open SyntaxEng in {
|
|
lin
|
|
PropKind k p = mkCN k (mkRS (mkRCl which_RP (mkVP p))) ;
|
|
}
|