+++ /dev/null
-interface Oberon_Id where
-from_string :: [Char] -> Oberon_Id
- {-# ARITY from_string = 1 #-}
-to_string :: Oberon_Id -> [Char]
- {-# ARITY to_string = 1 #-}
-data Oberon_Id
-instance Eq Oberon_Id
- {-# ARITY (==) = 2 #-}
- {-# ARITY (/=) = 0 #-}
-instance Text Oberon_Id
- {-# ARITY readsPrec = 0 #-}
- {-# ARITY showsPrec = 2 #-}
- {-# ARITY readList = 0 #-}
- {-# ARITY showList = 0 #-}
-