liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellSafe
LanguageHaskell98

Language.Haskell.Liquid.Prover.Constants

Documentation

debug :: Bool Source

whenLoud :: Monad m => m () -> m () Source

delta :: Int Source

epsilon :: Int Source

default_depth :: Int Source

smtFileExtention :: [Char] Source

smtFile :: [Char] -> [Char] Source