Data.Type.Natural.Presburger.MinMaxSolver
Description
This module provides a variant of `ghc-typelits-presburger`, which can be also solve symbols added in this package, such as Min, Max, <, >, and >=.
Min
Max
<
>
>=
plugin :: Plugin Source #