GHC.TypeLits.Normalise.SOP

SOP types

data Symbol v c

data Product v c

data SOP v c

Simplification

reduceExp

mergeS

mergeP

mergeSOPAdd

mergeSOPMul

normaliseExp