Language.Haskell.Liquid.CoreToLogic
coreToDef
mkLit
runToLogic
data
LError