Ejemplo n.º 1
0
def to_formula(s):
    return formula_parser.parse(s, lexer=lexer).compile_with_sort_inference()
Ejemplo n.º 2
0
def to_formula(s):
    return formula_parser.parse(s,lexer=lexer).compile_with_sort_inference()