hi::v1::pre_decrementable Concept Reference

Concept definition

template<typename T>
concept hi::v1::pre_decrementable =  requires(T a) {
    {
        --a
    };
}