ELC in dev
ELC-lang
载入中...
搜索中...
未找到
elc::defs::base::math::concepts::has_ε 概念引用

有ε的类型概念 更多...

概念定义

template<typename T>
concept elc::defs::base::math::concepts::has_ε = arithmetic_type_info_prover<remove_cvref<T>>::has_ε
elc::defs::base::math::concepts::has_ε
有ε的类型概念
Definition all_defs.cpp:1780
elc::defs::base::down_cast
constexpr T down_cast(U a) noexcept
向下转型至
Definition all_defs.cpp:1133

详细描述

有ε的类型概念

在文件 all_defs.cpp 第 1780 行定义.