Language.Haskell.Liquid.WiredIn

pdVarReft

wiredTyCons

wiredDataCons

wiredSortedSyms

dictionaryVar

dictionaryTyVar

dictionaryBind

proofTyConName

combineProofsName

isWiredIn

dcPrefix