boolTerm :: [String] -> AParser st FplTerm
boolTerm ks = constBool <|> mixTerm ks
boolTerm :: [String] -> AParser st FplTerm
boolTerm ks = constBool <|> mixTerm ks
boolTerm ks = constBool <|> mixTerm ks