module Language.Eq.Types where

data Formula a
data ListForm
data PolyCoeff
data Polynome