class Steep::TypeInference::LogicTypeInterpreter::Result

def unreachable!
  self.unreachable = true
  self
end

def update_env
  env = yield()
  Result.new(type: type, env: env, unreachable: unreachable)
end

def update_type
  Result.new(type: yield, env: env, unreachable: unreachable)
end