// -*- C++ -*-
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

module;
#if __has_include(<hazard_pointer>)
#  error "include this header unconditionally and uncomment the exported symbols"
#  include <hazard_pointer>
#endif

export module std:hazard_pointer;
export namespace std {
#if 0
#  if _LIBCPP_STD_VER >= 23
  // 4.1.3, class template hazard_pointer_obj_base
  using std::hazard_pointer_obj_base;
  // 4.1.4, class hazard_pointer
  using std::hazard_pointer;
  // 4.1.5, Construct non-empty hazard_pointer
  using std::make_hazard_pointer;
  // 4.1.6, Hazard pointer swap
  using std::swap;
#  endif // _LIBCPP_STD_VER >= 23
#endif
} // namespace std