HERMIT.Dictionary.Local.Cast

Rewrites on Case Expressions

externals

castElimReflR

castElimSymR

castFloatAppR

castFloatLamR

castElimSymPlusR