Make covering function public export
Make covering function public export

Without public export it's not evaluated well in REPL, see issue #4480
kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev