7 lines
61 B
Coq
7 lines
61 B
Coq
|
|
[true]
|
||
|
|
['is true' puts]
|
||
|
|
['is false' puts]
|
||
|
|
ifte
|
||
|
|
|
||
|
|
=is true
|