Template Function ADS::detail::contract

• Defined in File Sorted.h

Function Documentation

template<class F>
bool ADS::detail::contract(F &&f)

the condition f() evaluated with checkingContract() true