module Typing where

import qualified Data.Set as Set
import qualified Data.Map as Map

import Core
import Substitution



----------------------------------------------------------------------------
-- Unification
----------------------------------------------------------------------------

