sop-core-0.5.0.2: True Sums of Products

Index - K

K
1 (Type/Class) Data.SOP.BasicFunctors , Data.SOP
2 (Data Constructor) Data.SOP.BasicFunctors , Data.SOP