blob: 3dfc330a6c5dd242464de511d2147233462aa16c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
-- A file with PreReq and PostReq etc...
resource GenResEng = {
param Form = Ques | Req | ReqNeg ;
oper choosePre : Form => Str
= table {
Ques => ["can i"];
Req => variants{ ["i want to"] ; ["i would like to"] };
ReqNeg => variants{ ["i do not want to"] ; ["i would not like to"] }
};
oper choosePost : Form => Str
= table {
Ques => "";
Req => "please";
ReqNeg => "please"
};
}
|