liquidhaskell-boot
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Transforms.InlineAux

Documentation

inlineAux :: Config -> Module -> CoreProgram -> CoreProgram Source #