Language.Haskell.Liquid.GhcInterface

extract all information needed for verification

getGhcInfo

visitors

class CBVisitable a