(expr)
| 240 | return ast |
| 241 | |
| 242 | def textualize_s_expr(expr): |
| 243 | ast = parse_s_expr(expr) |
| 244 | return ast.textual_form() |
| 245 | # print(ast.logical_form_with_type()) |
| 246 | |
| 247 | def simplify_textual_form(expr): |
| 248 | toks = expr.split(' ') |
nothing calls this directly
no test coverage detected