\lambda x:False.
[\lambda h:False. True]
match x:False with []
+###### INTERPRETATION NUMBER 1 ######
+### (* disambiguation environment *)
+alias id False = cic:/Coq/Init/Logic/False.ind#xpointer(1/1)
+alias id True = cic:/Coq/Init/Logic/True.ind#xpointer(1/1)
### (* METASENV after disambiguation *)
### (* TERM after disambiguation *)