Language.Haskell.Liquid.UX.Config

data Config

class HasConfig t

data Instantiate

allowSMTInstationation

allowLiquidInstationation

allowLiquidInstationationGlobal

allowLiquidInstationationLocal

data ProofMethod

allowRewrite