Outputable package:liquidhaskell-boot

Class designating that some type has an SDoc representation

When we print a binder, we often want to print its type too. The OutputableBndr class encapsulates this idea.

Outputable class with an additional environment value See Note [The OutputableP class]