[Agda] equality on Char

[mechvel at scico.botik.ru]

Dear standard library developers,

In my certain old program it is written

   open import Data.Char.Unsafe using () renaming (_≟_ to _≟c_)
   open import Data.String.Unsafe using (_≟_)

I recall that probably ".Unsafe" was appended in order to guarantee the 
equality to be solved
fast on Char and String.
But lib-1.2 does not find this modules.
How is this feature treated in lib-1.2 ?

Thanks,

------
Sergei