Language.Haskell.Liquid.WiredIn

propType

propTyCon

hpropTyCon

pdVarReft

wiredTyCons

wiredDataCons

wiredSortedSyms

dictionaryVar

dictionaryTyVar

dictionaryBind

proofTyConName

combineProofsName