GHC.TypeLits.Presburger
Description
Provides a plain Presburger solver plugin for Nat.
Nat
For an interface for extension, see GHC.TypeLits.Presburger.Types.
plugin :: Plugin Source #