Language.Haskell.Liquid.Constraint

Constraint information output by generator

data CGInfo

Function that does the actual generation

generateConstraints

Project Constraints to Fixpoint Format

cgInfoFInfo

cgInfoFInfoBot

cgInfoFInfoKvars

KVars in constraints, for debug/profile purposes