module EqManips.Types where

data Formula a
data ListForm
data PolyCoeff
data Polynome