Language.Haskell.Liquid.CoreToLogic

coreToDef

coreToFun

mkLit

runToLogic

logicType

strengthenResult