示例#1
0
def to_formula(s):
    return formula_parser.parse(s, lexer=lexer).compile_with_sort_inference()
示例#2
0
def to_formula(s):
    return formula_parser.parse(s,lexer=lexer).compile_with_sort_inference()