\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      *)
[x:False]
<[h:False]True>Cases x of 
end
### (* TYPE_OF the disambiguated term *)
(x:False)([h:False]True x)
### (* REDUCED disambiguated term     *)
[x:False]
<[h:False]True>Cases x of 
end