\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#1/1
+alias id True = cic:/Coq/Init/Logic/True.ind#1/1
### (* METASENV after disambiguation *)
### (* TERM after disambiguation *)