#include <IRing.hpp>
template<typename E>
{env.contains(point)} -> std::same_as<bool>;
{env.overlap(env)} -> std::same_as<bool>;
{env.left()} -> std::convertible_to<typename std::remove_cvref_t<E>::numeric_type>;
{env.right()} -> std::convertible_to<typename std::remove_cvref_t<E>::numeric_type>;
{env.top()} -> std::convertible_to<typename std::remove_cvref_t<E>::numeric_type>;
{env.bottom()} -> std::convertible_to<typename std::remove_cvref_t<E>::numeric_type>;
}
Definition GeometryBase.hpp:11