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

Sarah Grebing's avatar
Sarah Grebing committed
4
5
6
7
8
9
script toRemove(){
  impRight;
  useContract type='dependency' on=`p`;

}

Sarah Grebing's avatar
interim    
Sarah Grebing committed
10
script autoScript(){
11
12
    __STRICT_MODE := true;
    auto;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
13
14
}

15
script interactive(){
16
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
17
  impRight;
18
  impLeft;
19

20
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
21

22
script interactive_with_match(){
23
impRight;
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
24
impRight;
25
26
impLeft;
cases{
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
27
    case match `==> not(?Z), ?Z`:
28
      notRight;
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
29
30
31
32

    default:
      notLeft;

33
    }
34
35

}