camfort-0.902: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Transformation.EquivalenceElim

Documentation

equalTypes :: Eq b => Map Name b -> Expression a1 -> Expression a -> Maybe b Source #