5 lines
69 B
Coq
5 lines
69 B
Coq
|
[myproc
|
||
|
|
['new error' 1 2 3] throw
|
||
|
|
'should not come here' puts
|
||
|
|
].
|