<s> from ivy_lexer import * <EOL> import ply . yacc as yacc <EOL> precedence = ( <EOL> ( '<STR_LIT:left>' , '<STR_LIT>' ) , <EOL> ( '<STR_LIT:left>' , '<STR_LIT>' ) , <EOL> ( '<STR_LIT:left>' , '<STR_LIT>' ) , <EOL> ( '<STR_LIT:left>' , '<STR_LIT>' , '<STR_LIT>' , '<STR_LIT>' , '<STR_LIT>' , '<STR_LIT>' ) , <EOL> ( '<STR_LIT:left>' , '<STR_LIT>' ) , <EOL> ( '<STR_LIT:left>' , '<STR_LIT>' ) , <EOL> ( '<STR_LIT:left>' , '<STR_LIT>' ) , <EOL> ( '<STR_LIT:left>' , '<STR_LIT>' ) , <EOL> ( '<STR_LIT:left>' , '<STR_LIT>' ) , <EOL> ) <EOL> from ivy_logic_parser import * <EOL> def p_error ( token ) : <EOL> raise LogicParseError ( token , "<STR_LIT>" ) <EOL> formula_parser = yacc . yacc ( start = '<STR_LIT>' , tabmodule = '<STR_LIT>' , errorlog = yacc . NullLogger ( ) ) <EOL> term_parser = yacc . yacc ( start = '<STR_LIT>' , tabmodule = '<STR_LIT>' , errorlog = yacc . NullLogger ( ) ) </s>
