Language.Haskell.Liquid.UX.Config
data Config
class HasConfig t
hasOpt
totalityCheck
terminationCheck
data Instantiate
allowSMTInstationation
allowLiquidInstationation
allowLiquidInstationationGlobal
allowLiquidInstationationLocal
data ProofMethod
allowRewrite
allowArithmetic