Language.Haskell.Liquid.Transforms.CoreToLogic

coreToDef

coreToFun

coreToLogic

coreToPred

mkLit

runToLogic

logicType

strengthenResult