examples/peacekeeping/PeaceRes.gf


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

resource PeaceRes = {

  param Punct = FullStop | QuestMark | ExclMark ;

  param SForm = SPos | SNeg | SQuest ;

  oper
    stop, quest, excl : Str -> { s : Str; p : Punct } ;
    stop x = { s = x; p = FullStop } ;
    quest x = { s = x; p = QuestMark } ;
    excl x = { s = x; p = ExclMark } ;

}