Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Fixpoint.Config
Documentation
Constructors
Config | |
Fields
|
newtype GenQualifierSort Source
newtype UeqAllSorts Source
withTarget :: Config -> FilePath -> Config Source
withUEqAllSorts :: Config -> Bool -> Config Source