eqTerm :: [String] -> AParser st FplTerm
eqTerm ks = do
  b <- boolTerm ks
  option b $ do
    e <- equalT
    b2 <- boolTerm ks
    return $ ExtTERM $ EqTerm b b2 $ tokPos e

{- | extra formulas to compare bool terms with true or false.
Interpreting boolean valued terms as formulas is still missing. -}
eqTerm :: [String] -> AParser st FplTerm
eqTerm ks = do
  b <- boolTerm ks
  option b $ do
    e <- equalT
    b2 <- boolTerm ks
    return $ ExtTERM $ EqTerm b b2 $ tokPos e

{- | extra formulas to compare bool terms with true or false.
Interpreting boolean valued terms as formulas is still missing. -}
eqTerm ks = do
  b <- boolTerm ks
  option b $ do
    e <- equalT
    b2 <- boolTerm ks
    return $ ExtTERM $ EqTerm b b2 $ tokPos e

{- | extra formulas to compare bool terms with true or false.
Interpreting boolean valued terms as formulas is still missing. -}