def p_entry_cmd_check(p):
'entry : kwcheck expr kwrel expr DOT'
p[0] = [sig.Command(p[1] + p[3], [p[2], p[4]])]
def p_entry_cmd_print(p):
'entry : PRINT STRING DOT'
p[0] = [sig.Command("PRINT", p[2])]
def p_entry_cmd_require(p):
'entry : REQUIRE IDENT DOT'
p[0] = [sig.Command("REQUIRE", p[2])]
def p_entry_cmd_gdt(p):
'entry : GDT IDENT DOT'
p[0] = [sig.Command("GDT", p[2])]
def p_entry_cmd_infer(p):
'entry : INFER expr DOT'
p[0] = [sig.Command("INFER", p[2])]
def p_entry_cmd_eval(p):
'entry : EVAL expr DOT'
p[0] = [sig.Command("EVAL", p[2])]