dedekind::morphologies::IsOrderedField Concept Reference

Concept definition

template<typename T>
concept dedekind::morphologies::IsOrderedField =  std::semiregular<T> && std::totally_ordered<T>