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)