def compile_match(d): x, y = d.lhs(), d.rhs() x = compile_expr_vocab(x, left_goal_vocab) y = compile_expr_vocab(y, right_goal_vocab) return ia.Definition(x, y)
def state_equation(lhs, rhs): return ia.Definition(lhs, rhs)