| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
DDC.Core.Transform.Elaborate
Description
Add possible Const and Distinct witnesses that aren't otherwise in the program.
- elaborateModule :: Eq n => Module a n -> Module a n
- elaborateX :: Eq n => Exp a n -> Exp a n