The frontend expands uint numerals occurring in patterns into UInt*.mk ..
contructor applications.
This method convert them back into UInt*.ofNat ..
applications.
Instances For
Return true is e
is a term that should be processed by the match
-compiler using casesValues