Where Online Learning is simpler!

The C and C++ Include Header Files

/usr/include/c++/13/stdfloat


$ cat -n /usr/include/c++/13/stdfloat

     1	// <stdfloat> -*- C++ -*-
     2	
     3	// Copyright (C) 2022-2023 Free Software Foundation, Inc.
     4	//
     5	// This file is part of the GNU ISO C++ Library.  This library is free
     6	// software; you can redistribute it and/or modify it under the
     7	// terms of the GNU General Public License as published by the
     8	// Free Software Foundation; either version 3, or (at your option)
     9	// any later version.
    10	
    11	// This library is distributed in the hope that it will be useful,
    12	// but WITHOUT ANY WARRANTY; without even the implied warranty of
    13	// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    14	// GNU General Public License for more details.
    15	
    16	// Under Section 7 of GPL version 3, you are granted additional
    17	// permissions described in the GCC Runtime Library Exception, version
    18	// 3.1, as published by the Free Software Foundation.
    19	
    20	// You should have received a copy of the GNU General Public License and
    21	// a copy of the GCC Runtime Library Exception along with this program;
    22	// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
    23	// <http://www.gnu.org/licenses/>.
    24	
    25	/** @file include/stdfloat
    26	 *  This is a Standard C++ Library header.
    27	 */
    28	
    29	#ifndef _GLIBCXX_STDFLOAT
    30	#define _GLIBCXX_STDFLOAT 1
    31	
    32	#if __cplusplus > 202002L
    33	#include <bits/c++config.h>
    34	
    35	namespace std
    36	{
    37	_GLIBCXX_BEGIN_NAMESPACE_VERSION
    38	
    39	  #ifdef __STDCPP_FLOAT16_T__
    40	  using float16_t = _Float16;
    41	  #endif
    42	
    43	  #ifdef __STDCPP_FLOAT32_T__
    44	  using float32_t = _Float32;
    45	  #endif
    46	
    47	  #ifdef __STDCPP_FLOAT64_T__
    48	  using float64_t = _Float64;
    49	  #endif
    50	
    51	  #ifdef __STDCPP_FLOAT128_T__
    52	  using float128_t = _Float128;
    53	  #endif
    54	
    55	  #ifdef __STDCPP_BFLOAT16_T__
    56	  using bfloat16_t = __gnu_cxx::__bfloat16_t;
    57	  #endif
    58	
    59	_GLIBCXX_END_NAMESPACE_VERSION
    60	} // namespace std
    61	#endif // C++23
    62	#endif // _GLIBCXX_STDFLOAT