script.kps 299 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
        try:
Sarah Grebing's avatar
Sarah Grebing committed
9
10
11
12
13
14
            notLeft;
            notRight;
            replace_known_left occ='2';
            concrete_impl_1;
            close;

15
        default:
Sarah Grebing's avatar
Sarah Grebing committed
16
            auto;
17

Sarah Grebing's avatar
Sarah Grebing committed
18
    }
19
}