IO.ANSI.overlined

You're seeing just the function overlined, go back to IO.ANSI module for more information.

Overlined.