hegg-0.1.0.0: src/Data/Equality/Graph/Classes/Id.hs

{-|

Type synonyms for e-class ids.

-}
module Data.Equality.Graph.Classes.Id
    ( ClassId
    , ClassIdMap
    ) where

import qualified Data.IntMap.Strict as IM

-- | Type synonym for e-class ids
type ClassId = Int

-- | Type synonym for a map from e-class ids to values
type ClassIdMap = IM.IntMap