Language.Haskell.Liquid.Types.RefType

Functions for lifting Reft-values to Spec-values

Applying a solution to a SpecType

Functions for decreasing arguments

Functions for manipulating `Predicate`s

typeUniqueSymbol

subsTyVar_meet'

subsTyVar_nomeet

subsTyVars_nomeet

subsTyVars_meet

Manipulating Refinements in RTypes

rTypeSortedReft

strengthenRefTypeGen

strengthenDataConType