0 | module Data.SOP 1 | 2 | import public Data.SOP.Interfaces 3 | import public Data.SOP.NP 4 | import public Data.SOP.NS 5 | import public Data.SOP.POP 6 | import public Data.SOP.SOP 7 | import public Data.SOP.Utils 8 | 9 | %default total 10 |