Language.Haskell.Liquid.PredType

type PrType

data TyConP

data DataConP

dataConTy

dataConPSpecType

makeTyConInfo

replacePreds

replacePredsWithRefs

pVartoRConc

Dummy Type that represents _all_ abstract-predicates

predType

Compute RType of a given PVar

pvarRType

substParg

pApp

wiredSortedSyms