Eq-1.0: EqManips/Types.hs-boot

module EqManips.Types where

data Formula a
data ListForm
data PolyCoeff
data Polynome