Language.Haskell.Liquid.GHC.Interface

extract all information needed for verification

getGhcInfos

runLiquidGhc

printer

pprintCBs

predicates

isExportedVar

exportedVars