module Michelson.TypeCheck
  ( typeCheckContract
  , typeCheckValue
  , typeVerifyValue
  , typeCheckList
  , typeCheckCValue
  , typeCheckExt
  , module E
  , module M
  , module T
  , eqType
  , compareTypes
  ) where

import Michelson.TypeCheck.Error as E
import Michelson.TypeCheck.Ext
import Michelson.TypeCheck.Instr
import Michelson.TypeCheck.TypeCheck as T
import Michelson.TypeCheck.Types as M
import Michelson.TypeCheck.Value

import Michelson.TypeCheck.Helpers (compareTypes, eqType)