module Core.Config where

-- | How many times can we backtrack from an unfolding in unification and conversion checking.
conversionSpeculation :: Int
conversionSpeculation = 10