script.kps 364 Bytes
Newer Older
1
2
3
// Please select one of the following scripts.
//

Sarah Grebing's avatar
Sarah Grebing committed
4
5
6
7
script cpClosable(){
    impRight;
    impRight;
    cases{
8
9
10
11

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

12
        try:
Sarah Grebing's avatar
Sarah Grebing committed
13
14
15
16
17
18
            notLeft;
            notRight;
            replace_known_left occ='2';
            concrete_impl_1;
            close;

19
        default:
Sarah Grebing's avatar
Sarah Grebing committed
20
            auto;
21

Sarah Grebing's avatar
Sarah Grebing committed
22
    }
23
}