module Network.Spata 
(
  module Network.Spata.DSL
) where

import Network.Spata.DSL hiding (p, predicate)