Agda-2.3.2.2: src/prototyping/terms/Name.hs

module Name where

data Name = Name String Integer

instance Eq Name where
  Name _ i == Name _ j = i == j

instance Show Name where
  show (Name x i) = x ++ "_" ++ show i