hegg-0.5.0.0: Fast equality saturation in Haskell
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Equality.Graph.Classes.Id

Description

Type synonyms for e-class ids.

Synopsis

Documentation

type ClassId = Int Source #

Type synonym for e-class ids

type ClassIdMap = IntMap Source #

Type synonym for a map from e-class ids to values