examples/peacekeeping/PeaceCat.gf


1
2
3
4
5
6
7
8
9
10
11
12
13

abstract PeaceCat = Cat ** {

  cat
    MassN ;
    Phrase ;
    PhraseWritten ;
    PhraseSpoken ;

  fun 
    Written : Phrase -> PhraseWritten ;
    Spoken : Phrase -> PhraseSpoken ;

}