sop-core-0.5.0.1: True Sums of Products

Index - K

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