ToySolver.Data.LBool

data LBool

lTrue

lFalse

lUndef

lnot

liftBool

unliftBool