PureSAT.LBool
data LBool Source #
Constructors
Defined in PureSAT.LBool
Methods
showsPrec :: Int -> LBool -> ShowS
show :: LBool -> String
showList :: [LBool] -> ShowS
(==) :: LBool -> LBool -> Bool
(/=) :: LBool -> LBool -> Bool
compare :: LBool -> LBool -> Ordering
(<) :: LBool -> LBool -> Bool
(<=) :: LBool -> LBool -> Bool
(>) :: LBool -> LBool -> Bool
(>=) :: LBool -> LBool -> Bool
max :: LBool -> LBool -> LBool
min :: LBool -> LBool -> LBool