12 lines
46 B
Coq
12 lines
46 B
Coq
|
true
|
||
|
|
1 2
|
||
|
|
choice
|
||
|
|
|
||
|
|
=1
|
||
|
|
|
||
|
|
false
|
||
|
|
1 2
|
||
|
|
choice
|
||
|
|
|
||
|
|
=2
|