Language.Haskell.Liquid.Bare.Spec
makeClasses
makeQualifiers
makeHints
makeLVar
makeLazy
makeHIMeas
makeTExpr
makeTargetVars
makeAssertSpec
makeAssumeSpec
makeDefaultMethods
makeIAliases
makeInvariants
makeSpecDictionaries