definition module check

from StdOverloaded import class toString
from Data.Either import :: Either
from ast import :: Function, :: Expression, :: Type, :: TypeDef

:: Scheme = Forall [[Char]] Type

instance toString Scheme

check :: ![Either TypeDef Function] -> Either [String] (Expression, [([Char], Scheme)])