script.kps 542 Bytes
Newer Older
1
2
// Please select one of the following scripts.
//
3
script test(){
4

5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
}

script test1(){
  impRight;
}
script test2(){
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
}

}
Sarah Grebing's avatar
Sarah Grebing committed
21
22
23
24
script cpClosable(){
    impRight;
    impRight;
    cases{
25
26
27
28

       case match `?X -> ?Y ==> not(?Z)`:
            notLeft;

29
        try:
Sarah Grebing's avatar
Sarah Grebing committed
30
31
32
33
34
35
            notLeft;
            notRight;
            replace_known_left occ='2';
            concrete_impl_1;
            close;

36
        default:
Sarah Grebing's avatar
Sarah Grebing committed
37
            auto;
38

Sarah Grebing's avatar
Sarah Grebing committed
39
    }
40
}