3 lines
41 B
Coq
3 lines
41 B
Coq
|
[myproc] [puts] catch
|
||
|
|
=[new error 1 2 3]
|