Language.Haskell.Liquid.Constraint.Init

This module defines the representation of Subtyping and WF Constraints, and the code for syntax-directed constraint generation.

Documentation

initEnv :: TargetInfo -> CG CGEnv

initCGI :: Config -> TargetInfo -> CGInfo