{-|
  This module defines routines to unify equivalent variables in a constraint
  set (except those protected by configuration).
-}
module Language.K3.TypeSystem.Simplification.EquivalenceUnification
( module X
) where

import Language.K3.TypeSystem.Simplification.EquivalenceUnification.BoundEquivalence as X
import Language.K3.TypeSystem.Simplification.EquivalenceUnification.Common as X
import Language.K3.TypeSystem.Simplification.EquivalenceUnification.ConstraintEquivalence as X
import Language.K3.TypeSystem.Simplification.EquivalenceUnification.StructuralEquivalence as X
