Names.hs

module Language.Haskell.Liquid.Names where

import Language.Fixpoint.Types


lenLocSymbol = dummyLoc $ symbol ("autolen" :: String)