optCoercion applies a substitution to a coercion, *and* optimises it to reduce its size
- Packageghc-9.14.1
- Exports2
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceOpt.hs
Coercion optimisation options
Constructors
OptCoercionOptsoptCoercionEnabled :: BoolEnable coercion optimisation (reduce its size)