camfort-0.900: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Transformation.EquivalenceElim

Documentation

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