Improvements in matitatop: instead of doing exit -1 it enters the toploop

[helm.git] / helm / gTopLevel / tests / match03.cic

[\lambda x:bool. nat]
match true:bool with
[ true \Rightarrow O
| false \Rightarrow (S O) ]