module LambdaCalculus::Conditional1

def eval(env)
  if condition.eval(env)
    true_case.eval(env)
  else
    false_case.eval(env)
  end
end