Language.Haskell.Liquid.GHC.Interface

extract all information needed for verification

getGhcInfo

printer

pprintCBs