fmtMLN :: MLN -> T.Text
fmtMLN (MLN m) =
  Map.foldrWithKey
    (\k v acc -> T.concat [fmtWFormula symbolic k v, "\n", acc]) "" m
fmtMLN :: MLN -> T.Text
fmtMLN (MLN m) =
  Map.foldrWithKey
    (\k v acc -> T.concat [fmtWFormula symbolic k v, "\n", acc]) "" m
fmtMLN (MLN m) =
  Map.foldrWithKey
    (\k v acc -> T.concat [fmtWFormula symbolic k v, "\n", acc]) "" m