-- | Prints a weighted formula.
fmtWFormula :: Symbols -> FOL -> Double -> T.Text
fmtWFormula s f w = T.concat [F.prettyPrintFm s f, ", ", T.pack $ show w, "."]
fmtWFormula :: Symbols -> FOL -> Double -> T.Text
fmtWFormula s f w = T.concat [F.prettyPrintFm s f, ", ", T.pack $ show w, "."]
fmtWFormula s f w = T.concat [F.prettyPrintFm s f, ", ", T.pack $ show w, "."]