7 lines
102 B
Coq
7 lines
102 B
Coq
[mylogic
|
|
[get2 [a b : a b a b] view].
|
|
get2 and puts
|
|
get2 or puts
|
|
swap not puts
|
|
pop
|
|
].
|