{-# language TypeSynonymInstances, FlexibleInstances, UndecidableInstances #-}

module Satchmo.SMT.Exotic.Semiring 

( module Satchmo.SMT.Exotic.Semiring.Class )

where

import Satchmo.SMT.Exotic.Semiring.Class