sop-core-0.5.0.2: True Sums of Products

Index - I

I
1 (Type/Class) Data.SOP.BasicFunctors , Data.SOP
2 (Data Constructor) Data.SOP.BasicFunctors , Data.SOP
index_NS Data.SOP.NS
index_SOP Data.SOP.NS
Injection Data.SOP.NS , Data.SOP
injections Data.SOP.NS , Data.SOP