From e2c803f45d529a076556a4aeed4a66ff7dbfa098 Mon Sep 17 00:00:00 2001
From: Enrico Seiler <enrico.seiler@hotmail.de>
Date: Fri, 25 Mar 2022 21:39:49 +0100
Subject: [PATCH] [MISC] Update core_language

---
 .../concept/exposition_only/core_language.hpp | 23 +++++++++++--------
 1 file changed, 13 insertions(+), 10 deletions(-)

diff --git a/include/seqan3/utility/concept/exposition_only/core_language.hpp b/include/seqan3/utility/concept/exposition_only/core_language.hpp
index dd48cb9d689..01a230821f3 100644
--- a/include/seqan3/utility/concept/exposition_only/core_language.hpp
+++ b/include/seqan3/utility/concept/exposition_only/core_language.hpp
@@ -80,28 +80,32 @@ namespace seqan3
 {
 /*!\interface seqan3::implicitly_convertible_to <>
  * \ingroup utility_concept
- * \brief Resolves to `std::ranges::implicitly_convertible_to<type1, type2>()`.
+ * \brief Checks whether `from` can be implicityly converted to `to`.
  *
  * \details
  *
+ * The STL concept `convertible_to` checks for implicit and explicit convertability.
+ *
  * \noapi
  */
 //!\cond
-template <typename t, typename u>
-concept implicitly_convertible_to = std::is_convertible_v<t, u>;
+template <typename from, typename to>
+concept implicitly_convertible_to = std::is_convertible_v<from, to>;
 //!\endcond
 
 /*!\interface seqan3::explicitly_convertible_to <>
  * \ingroup utility_concept
- * \brief Resolves to `std::ranges::explicitly_convertible_to<type1, type2>()`.
+ * \brief Checks whether `from` can be explicitly converted to `to`.
  *
  * \details
  *
+ * The STL concept `convertible_to` checks for implicit and explicit convertability.
+ *
  * \noapi
  */
 //!\cond
-template <typename t, typename u>
-concept explicitly_convertible_to = requires (t vt) { { static_cast<u>(vt)}; };
+template <typename from, typename to>
+concept explicitly_convertible_to = requires (from v) { { static_cast<to>(v)}; };
 //!\endcond
 
 /*!\interface seqan3::arithmetic <>
@@ -121,18 +125,17 @@ concept arithmetic = std::is_arithmetic_v<t>;
 
 /*!\interface seqan3::floating_point <>
  * \ingroup utility_concept
- * \extends seqan3::arithmetic
- * \brief An arithmetic type that also satisfies std::is_floating_point_v<t>.
+ * \brief An alias for `std::floating_point<t>`.
  *
  * \details
  *
- * \sa https://en.cppreference.com/w/cpp/types/is_floating_point
+ * \sa https://en.cppreference.com/w/cpp/concepts/floating_point
  *
  * \noapi
  */
 //!\cond
 template <typename t>
-concept floating_point = arithmetic<t> && std::is_floating_point_v<t>;
+concept floating_point = std::floating_point<t>;
 //!\endcond
 
 /*!\interface seqan3::builtin_character <>