Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
pattern Literal :: Positivity -> Variable -> Literal |
negateLiteral :: Literal -> Literal Source #
literalToVariable :: Literal -> Variable Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
pattern Literal :: Positivity -> Variable -> Literal |
negateLiteral :: Literal -> Literal Source #
literalToVariable :: Literal -> Variable Source #