liquidhaskell-0.6.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.Constraint.Constraint
constraintToLogic :: REnv -> LConstraint -> Expr Source
addConstraints :: CGEnv -> [(Symbol, SpecType)] -> CGEnv Source