sop-core-0.4.0.0: True Sums of Products

Index - K

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