module Data.SOP

import public Data.SOP.Interfaces
import public Data.SOP.NP
import public Data.SOP.NS
import public Data.SOP.POP
import public Data.SOP.SOP
import public Data.SOP.Utils

%default total
