Language.Haskell.Liquid.Constraint.Split

Split Subtyping Constraints

splitC

Split Well-formedness Constraints

splitW

Split Strata Constraints

splitS

???

envToSub

Panic

panicUnbound