mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-04 16:52:50 -06:00
13 lines
306 B
Plaintext
13 lines
306 B
Plaintext
abstract Sequence = Cat ** {
|
|
|
|
fun
|
|
TwoS : S -> S -> SeqS ;
|
|
AddS : SeqS -> S -> SeqS ;
|
|
TwoAdv : Adv -> Adv -> SeqAdv ;
|
|
AddAdv : SeqAdv -> Adv -> SeqAdv ;
|
|
TwoNP : NP -> NP -> SeqNP ;
|
|
AddNP : SeqNP -> NP -> SeqNP ;
|
|
TwoAP : AP -> AP -> SeqAP ;
|
|
AddAP : SeqAP -> AP -> SeqAP ;
|
|
|
|
} |