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